import java.util.*;

public class Main {
	public static void main(String... args) {
		Scanner sc = new Scanner(System.in);
		String s = sc.nextLine();
		System.out.println("2018/01/"+s.substring(8, 10));
	}
} import java.util.*; util.* java public class Main {
	public static void main(String... args) {
		Scanner sc = new Scanner(System.in);
		String s = sc.nextLine();
		System.out.println("2018/01/"+s.substring(8, 10));
	}
} Main public static void main(String... args) {
		Scanner sc = new Scanner(System.in);
		String s = sc.nextLine();
		System.out.println("2018/01/"+s.substring(8, 10));
	} main {
		Scanner sc = new Scanner(System.in);
		String s = sc.nextLine();
		System.out.println("2018/01/"+s.substring(8, 10));
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String s = sc.nextLine(); s sc.nextLine() sc.nextLine sc System.out.println("2018/01/"+s.substring(8, 10)) System.out.println System.out System System.out "2018/01/"+s.substring(8, 10) "2018/01/" s.substring(8, 10) s.substring s 8 10 String... args args public class Main {
	public static void main(String... args) {
		Scanner sc = new Scanner(System.in);
		String s = sc.nextLine();
		System.out.println("2018/01/"+s.substring(8, 10));
	}
} public class Main {
	public static void main(String... args) {
		Scanner sc = new Scanner(System.in);
		String s = sc.nextLine();
		System.out.println("2018/01/"+s.substring(8, 10));
	}
} Main
import java.util.*;

public class Main {
	public static void main(String... args) {
		Scanner sc = new Scanner(System.in);
		String s = sc.nextLine();
		System.out.println("2018/01/"+s.substring(8, 10));
	}
}
