HASH(0x7fee0b87e7e0)