#include<iostream>

using namespace std;

int main() {
	string str;
	cin >> str;
	//0から4文字分
	str.replace(0, 4, "2018");
	printf("%s", str.c_str());

	return 0;
}

#include <stdio.h>

int main (){
	int year;
	int month;
	int date;
	int x;
	
	scanf ("%d/%d/%d", &year, &month, &date);
	
	x = year + 1;
	
	printf ("%d/%02d/%02d\n", x, month, date);
	
	return 0;
}