HASH(0x7fee225bbf10)