HASH(0x7ff42804caf8)