HASH(0x7fedce5d2518)