HASH(0x7fee225e13a0)