HASH(0x7fee225e7d88)