HASH(0x7fedc42a5b80)