HASH(0x7fee225c64e0)