HASH(0x7fee225728f8)