#include <iostream>
 
 using namespace std;
  int main() {
       string s;
       while(cin>>s){
       int l=s.length();
       for(int i=0;i<l;i++){
       if(i==0) cout<<'2';
       else if(i==1) cout<<'0';
       else if(i==2) cout<<'1';
       else if(i==3) cout<<'8';
       else cout<<s[i];
                }
           cout<<endl;
		        }
    
	 return 0;
	  }
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> iint;
typedef pair<ll,ll> llll;
#define ALL(x) (x).begin(),(x).end()
const ll zero = 0;
const ll INF = 3000000000000000000; //10^18
const int inINF = 1000000000; //10^9
const ll MOD = 1000000007; //10^9+7
const ll MOD2 = 998244353;
void Yes() {printf("Yes\n");}
void No() {printf("No\n");}
void YES() {printf("YES\n");}
void NO() {printf("NO\n");}

int main(){
    string s;
    cin >> s;
    string t = s.substr(4);
    printf("2018%s\n", t.c_str());
}