HASH(0x7fedc25c3b78)