HASH(0x7fee3385d100)