HASH(0x7fee0cf523e0)