HASH(0x7fedf25d0db8)