/*2:*/
#line 80 "cefconv.w"

#include <ctype.h>
#include <stdio.h>


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

{int ch,i;
unsigned char s[8];
unsigned char*p;

fprintf(stdout,"\\def\\CNSpreproc{}\n");

ch= fgetc(stdin);

while(!feof(stdin))
{if(ch=='&')
{i= 0;
p= s;
*p= fgetc(stdin);

if(*p=='C'&&!feof(stdin))
{i++;
p++;
*p= fgetc(stdin);
if(*p>='0'&&*p<='7'&&!feof(stdin))
{i++;
p++;
*p= fgetc(stdin);
if(*p=='-'&&!feof(stdin))
{i++;
p++;
*p= fgetc(stdin);
if(*p>='2'&&*p<='7'&&!feof(stdin))
{i++;
p++;
*p= fgetc(stdin);
if(isxdigit(*p)&&*p<0x80&&!feof(stdin))
{i++;
p++;
*p= fgetc(stdin);
if(*p>='2'&&*p<='7'&&!feof(stdin))
{i++;
p++;
*p= fgetc(stdin);
if(isxdigit(*p)&&*p<0x80&&
!feof(stdin))
{i++;
p++;
*p= fgetc(stdin);
if(*p==';'&&!feof(stdin))
{fprintf(stdout,
"%c%c%c.\"0%c%c.",
s[1]-'0'+0x80,
s[3],toupper(s[4]),
s[5],toupper(s[6]));

ch= fgetc(stdin);
continue;
}
}
}
}
}
}
}
}

ch= *p;

fputc('&',stdout);
p= s;
while(i--)
fputc(*(p++),stdout);
continue;
}
else
fputc(ch,stdout);

ch= fgetc(stdin);
}
}/*:2*/