HASH(0x7fee1c0bd3f0)