HASH(0x7fedf65ce6b0)