import java.util.*;

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

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