HASH(0x7f5cf675e3d0)