HASH(0x7fee0a58e7c0)