HASH(0x7ff42402c320)