HASH(0x7ff428079518)