HASH(0x7fee0e5884b0)