HASH(0x7fede2738f58)