HASH(0x7fee225dba40)