HASH(0x760fede407d0)