#include <iostream>
#include <string>
int main(){
  char s[10];
  for (int i = 0; i < 10; i++){
    std::cin >> s[i];
    if (i == 3){
      s[i] = '8';
    }
  }

  for (int i = 0; i < 10; i++){
    std::cout << s[i];
  }
  std::cout << std::endl;
  return 0;
}
#include <stdio.h>
int main (){
	char year[4],month[2],day[2];
	scanf ("%[^/]/ %[^/]/ %s",year,month,day);
	printf ("2018/01/%s",day);
}