HASH(0x7fedf25d6960)