HASH(0x7ff42005db18)