0x7ff