#include <bits/stdc++.h>
#define endl '\n'
using namespace std;
int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    string S;
    cin >> S;
    S[3] = '8';
    cout << S << endl;
}

#include <cstdio>
using namespace std;
int main() {
    int y, m, d;
    scanf("%d/%d/%d", &y, &m, &d);
    printf("2018/%02d/%02d\n", m, d);
}