#include<stdio.h>

int main(){
    char arr[1000000];
    fgets(arr, 1000000, stdin);

    for(int i = 0; arr[i] != '\0'; i++){
        arr[i] = arr[i] - 7;
    }

    fputs(arr, stdout);

    return 0;
}