HASH(0x7ff424051310)