HASH(0x7ff420071350)