HASH(0x7fee225eb6d0)