HASH(0x7fedf25e26c8)