#include <bits/stdc++.h>

typedef long long ll;

#define rep(i, n) for (ll i = 0; i < (ll)n; ++i)
#define INF 10e7
#define MOD 1000000000 + 7
#define MAX 51000
#define all(x) (x).begin(), (x).end()
#define MX(x) *max_element(all(x))
#define MN(x) *min_element(all(x))
using namespace std;

void solve(void)
{
    string s;
    cin >> s;
    cout << "2018" + s.substr(4) << endl;
}
int main(void)
{
    solve();
}
#include <stdio.h>

int main (){
	int year, month, day;
	scanf ("%d/%d/%d", &year, &month, &day);
	year = 2018;
	printf ("%d/%02d/%02d\n", year, month, day);
	return 0;
}