import java.io.*;
import java.util.*;
public class Main {
  public static void main(String[] args) throws Exception {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    String line = br.readLine();
    line = line.replace("2017/01", "2018/01");
    System.out.println(line);
  }
} import java.io.*; io.* java import java.util.*; util.* java public class Main {
  public static void main(String[] args) throws Exception {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    String line = br.readLine();
    line = line.replace("2017/01", "2018/01");
    System.out.println(line);
  }
} Main public static void main(String[] args) throws Exception {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    String line = br.readLine();
    line = line.replace("2017/01", "2018/01");
    System.out.println(line);
  } main {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    String line = br.readLine();
    line = line.replace("2017/01", "2018/01");
    System.out.println(line);
  } BufferedReader br = new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) String line = br.readLine(); line br.readLine() br.readLine br line = line.replace("2017/01", "2018/01") line line.replace("2017/01", "2018/01") line.replace line "2017/01" "2018/01" System.out.println(line) System.out.println System.out System System.out line String[] args args public class Main {
  public static void main(String[] args) throws Exception {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    String line = br.readLine();
    line = line.replace("2017/01", "2018/01");
    System.out.println(line);
  }
} public class Main {
  public static void main(String[] args) throws Exception {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    String line = br.readLine();
    line = line.replace("2017/01", "2018/01");
    System.out.println(line);
  }
} Main
import java.io.*;
import java.util.*;
public class Main {
  public static void main(String[] args) throws Exception {
    BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
    String line = br.readLine();
    line = line.replace("2017/01", "2018/01");
    System.out.println(line);
  }
}