HASH(0x7ff42006f588)