#include <stdio.h>

int main(){

    char s[10];


    scanf("%s",&s);
    getchar();
    s[3]='8';

    printf("%s",&s);

    return 0;
}
#include<iostream>
#include<string>

using namespace std;

int main() {
    string date;
    cin >> date;
    
    date.replace(0, 4, "2018");
    cout << date;
}