HASH(0x7fee2cf767b0)