HASH(0x7fedf260c8b0)