#include <bits/stdc++.h>

using namespace std;
using ll = long long;
using ld = long double;

//#define int long long
//signed main(){
int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    string s;
    cin >> s;
    cout << "2018";
    for(int i = 4; i < s.size(); i++) cout << s[i];
    cout << "\n";
    return 0;
}
#include <bits/stdc++.h>
using namespace std;

int main(){
  string A;
  cin >> A;
  cout << 2018 << "/" << 0 << 1 << "/" << A.at(8) << A.at(9) << endl;
}