import java.util.Scanner;
public class Main{
  public static void main(String[] args){
	Scanner sc = new Scanner(System.in);
    String date = sc.next();
    if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); 
  }
} import java.util.Scanner; Scanner java.util public class Main{
  public static void main(String[] args){
	Scanner sc = new Scanner(System.in);
    String date = sc.next();
    if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); 
  }
} Main public static void main(String[] args){
	Scanner sc = new Scanner(System.in);
    String date = sc.next();
    if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); 
  } main {
	Scanner sc = new Scanner(System.in);
    String date = sc.next();
    if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); 
  } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String date = sc.next(); date sc.next() sc.next sc if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); date.contains("2017") == true date.contains("2017") date.contains date "2017" true System.out.println(date.replace("2017", "2018")) System.out.println System.out System System.out date.replace("2017", "2018") date.replace date "2017" "2018" String[] args args public class Main{
  public static void main(String[] args){
	Scanner sc = new Scanner(System.in);
    String date = sc.next();
    if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); 
  }
} public class Main{
  public static void main(String[] args){
	Scanner sc = new Scanner(System.in);
    String date = sc.next();
    if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); 
  }
} Main
import java.util.Scanner;
public class Main{
  public static void main(String[] args){
	Scanner sc = new Scanner(System.in);
    String date = sc.next();
    if(date.contains("2017") == true)
          System.out.println(date.replace("2017", "2018")); 
  }
}