HASH(0x7fedf25d7100)