#include <iostream>

using namespace std;

int main() {
  string s;
  cin >> s;
  cout << "2018/01/" << s.substr(s.size() - 2) << endl;
  return 0;
}

#include <stdio.h>

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

    return 0;

}