HASH(0x7ff42c05f0d8)