function Main(input) {
	var arr = input.split('');
 
  	var year = String(arr[0] + arr[1] + arr[2] + arr[3]);
  	year = "2018";
  	for(var i = 4; i < 10; i++) {
		var m_d = m_d + arr[i];
    }
  	console.log(year + arr[4] + arr[5] +  arr[6] + arr[7] + arr[8] + arr[9]);
}	
Main(require("fs").readFileSync("/dev/stdin", "utf8"));