HASH(0x7fedc25c6b80)