import java.util.*;

class Main {
    public static void main(String args[]) {
        Scanner inp = new Scanner(System.in);
        String s = inp.next();
        inp.close();
        System.out.println(s.replaceAll("2017", "2018"));
    }
} import java.util.*; util.* java class Main {
    public static void main(String args[]) {
        Scanner inp = new Scanner(System.in);
        String s = inp.next();
        inp.close();
        System.out.println(s.replaceAll("2017", "2018"));
    }
} Main public static void main(String args[]) {
        Scanner inp = new Scanner(System.in);
        String s = inp.next();
        inp.close();
        System.out.println(s.replaceAll("2017", "2018"));
    } main {
        Scanner inp = new Scanner(System.in);
        String s = inp.next();
        inp.close();
        System.out.println(s.replaceAll("2017", "2018"));
    } Scanner inp = new Scanner(System.in); inp new Scanner(System.in) String s = inp.next(); s inp.next() inp.next inp inp.close() inp.close inp System.out.println(s.replaceAll("2017", "2018")) System.out.println System.out System System.out s.replaceAll("2017", "2018") s.replaceAll s "2017" "2018" String args[] args
import java.util.*;

class Main {
    public static void main(String args[]) {
        Scanner inp = new Scanner(System.in);
        String s = inp.next();
        inp.close();
        System.out.println(s.replaceAll("2017", "2018"));
    }
}