HASH(0x7fedf25b29b8)