0x7fff
