HASH(0x7fedf25e5d80)