#include<stdio.h>
#include<string.h>
main()
{
char a[1000];
while(scanf("%s",&a)!=EOF)
int i,leng;
leng=strlen(a);
for(i=0;i<leng;i++)
a[i]-=7;
}
printf("%s\n",a);
return 0;