#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define _GLIBCXX_DEBUG
#define all(x) x.begin(), x.end()
using namespace std;
typedef long long ll;
typedef pair<int, int> pair;
const int inf = 1000000000; //10^9
const ll inff = 1000000000000000000; //10^18

int main(){
    string s;
    cin >> s;
    cout << "2018/01/" << s[8] << s[9] << endl;

    return 0;
}
#include<stdio.h>

int main()
{
	int day,month,year;
	scanf("%d/%d/%d",&year,&month,&day);
	printf("%d/%.2d/%.2d",year+1,month,day);
	
	
	return 0;
}