HASH(0x7ff438061240)