HASH(0x7ff420057718)