HASH(0x7fee0e5d80b8)