HASH(0x7fedf25f5ed8)