#include <stdio.h>

int main(){
	int date[11];
	for(int i = 0; i < 10; i++){
		scanf("%c", &date[i]);
	}
	
	for(int i = 0; i < 10; i++){
		date[3] = '8';
		printf("%c", date[i]);
	}

	return 0;
}
#include <bits/stdc++.h>
using namespace std;
int main(void){
    
    //*
    string a;
    cin >> a ;
    //*/
    
    a.at(3) = '8';
    
    /*
    vector<int> vec(4);
    cin >> vec.at(0) >> vec.at(1) >> vec.at(2) ;
    
    sort(vec.begin(), vec.end());
    */
    
    /*
    if(a == 0){
        cout << "" << endl;
    } else if(a > 0){
        cout << "" << endl;
    } else {
        cout << "" << endl;
    }
    */
    
    cout << a << endl;

    return 0; 
}
