#include <stdio.h>
main()
{
   int ch;

   while((ch = getc(stdin)) != EOF) {
      putc(ch & 0x7f,stdout);
   }
   return 0;
}