HASH(0x7ff424031310)