import java.util.*;
import java.io.*;
public class Main {
    public static void main(String args[]) throws IOException {
        System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018"));
        
    }
} import java.util.*; util.* java import java.io.*; io.* java public class Main {
    public static void main(String args[]) throws IOException {
        System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018"));
        
    }
} Main public static void main(String args[]) throws IOException {
        System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018"));
        
    } main {
        System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018"));
        
    } System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018")) System.out.println System.out System System.out new Scanner(System.in).next().replaceFirst("2017", "2018") new Scanner(System.in).next().replaceFirst new Scanner(System.in).next() new Scanner(System.in).next new Scanner(System.in) "2017" "2018" String args[] args public class Main {
    public static void main(String args[]) throws IOException {
        System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018"));
        
    }
} public class Main {
    public static void main(String args[]) throws IOException {
        System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018"));
        
    }
} Main
import java.util.*;
import java.io.*;
public class Main {
    public static void main(String args[]) throws IOException {
        System.out.println(new Scanner(System.in).next().replaceFirst("2017", "2018"));
        
    }
}