HASH(0x7ff42806f988)