HASH(0x7fede25bd3d0)