import java.util.*;

public class Main {
	public static void main(String[] args){
      
		Scanner Sd = new Scanner(System.in);
		String S = Sd.nextLine();
		
        String S1 = S.replace("2017", "2018");
		System.out.println(S1);
    }
} import java.util.*; util.* java public class Main {
	public static void main(String[] args){
      
		Scanner Sd = new Scanner(System.in);
		String S = Sd.nextLine();
		
        String S1 = S.replace("2017", "2018");
		System.out.println(S1);
    }
} Main public static void main(String[] args){
      
		Scanner Sd = new Scanner(System.in);
		String S = Sd.nextLine();
		
        String S1 = S.replace("2017", "2018");
		System.out.println(S1);
    } main {
      
		Scanner Sd = new Scanner(System.in);
		String S = Sd.nextLine();
		
        String S1 = S.replace("2017", "2018");
		System.out.println(S1);
    } Scanner Sd = new Scanner(System.in); Sd new Scanner(System.in) String S = Sd.nextLine(); S Sd.nextLine() Sd.nextLine Sd String S1 = S.replace("2017", "2018"); S1 S.replace("2017", "2018") S.replace S "2017" "2018" System.out.println(S1) System.out.println System.out System System.out S1 String[] args args public class Main {
	public static void main(String[] args){
      
		Scanner Sd = new Scanner(System.in);
		String S = Sd.nextLine();
		
        String S1 = S.replace("2017", "2018");
		System.out.println(S1);
    }
} public class Main {
	public static void main(String[] args){
      
		Scanner Sd = new Scanner(System.in);
		String S = Sd.nextLine();
		
        String S1 = S.replace("2017", "2018");
		System.out.println(S1);
    }
} Main
import java.util.*;

public class Main {
	public static void main(String[] args){
      
		Scanner Sd = new Scanner(System.in);
		String S = Sd.nextLine();
		
        String S1 = S.replace("2017", "2018");
		System.out.println(S1);
    }
}
