HASH(0x7fee0c5771c0)