HASH(0x7fee3052da88)