. "0x80" . . . "0x80" . . . . . . . . . . .