HASH(0x7ff42c0443f0)