HASH(0x7fee145945c8)