HASH(0x7fee0e600d00)