HASH(0x7fedf4021ef8)