HASH(0x7fedf456c2d0)