#include <stdio.h>
int main(void)
{ int ch;
  while( (ch=getchar()) != EOF )
    if(ch >= 128)
      printf("&#%d;", ch);
    else
      putchar(ch);
  return 0; }