import java.util.*;
public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		String str = sc.next();
		String s = str.replace("2017","2018");
		System.out.println(s);
		
	}

} import java.util.*; util.* java public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		String str = sc.next();
		String s = str.replace("2017","2018");
		System.out.println(s);
		
	}

} Main public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		String str = sc.next();
		String s = str.replace("2017","2018");
		System.out.println(s);
		
	} main {
		Scanner sc = new Scanner(System.in);
		String str = sc.next();
		String s = str.replace("2017","2018");
		System.out.println(s);
		
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String str = sc.next(); str sc.next() sc.next sc String s = str.replace("2017","2018"); s str.replace("2017","2018") str.replace str "2017" "2018" System.out.println(s) System.out.println System.out System System.out s String[] args args public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		String str = sc.next();
		String s = str.replace("2017","2018");
		System.out.println(s);
		
	}

} public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		String str = sc.next();
		String s = str.replace("2017","2018");
		System.out.println(s);
		
	}

} Main
import java.util.*;
public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		String str = sc.next();
		String s = str.replace("2017","2018");
		System.out.println(s);
		
	}

}