HASH(0x7fedf000c6d8)