#include <stdio.h>
#include <stdlib.h>


void main(argc,argv)
int argc;
char*argv[];

{int ch;

fprintf(stdout,"\\def\\CJKpreproc{}");

ch= fgetc(stdin);

while(!feof(stdin))
{if(ch>=0x81&&ch<=0xFE)
{fputc(ch,stdout);

ch= fgetc(stdin);
if(!feof(stdin))
fprintf(stdout,"%d\377",ch);
}
else
fputc(ch,stdout);

ch= fgetc(stdin);
}
exit(0);
}