HASH(0x7ff428040640)