HASH(0x7f5c85a4e518)