HASH(0x7fedc0a98830)