HASH(0x7ff424065030)