HASH(0x7fee065927b0)