HASH(0x7ff424051960)