HASH(0x7fedf25e73f8)