#include <stdio.h>
int main()
{
    char pen[10000];
    fgets(pen,10000,stdin);
    for(int i=0;pen[i] !='\0';i++)
    {
        printf("%c",pen[i]-7);
    }
    return 0;
}