HASH(0x7fee0e5f07d0)