HASH(0x7fedccf6e518)