HASH(0x7ff42005f7c8)