HASH(0x7ff42005e028)