HASH(0x7fee0a57adf0)