HASH(0x7fedf051fd68)