import java.util.*;

class Main {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        s = s.replace("2017/", "2018/");

        System.out.println(s);
    }
} import java.util.*; util.* java class Main {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        s = s.replace("2017/", "2018/");

        System.out.println(s);
    }
} Main public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        s = s.replace("2017/", "2018/");

        System.out.println(s);
    } main {
        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        s = s.replace("2017/", "2018/");

        System.out.println(s);
    } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String s = sc.nextLine(); s sc.nextLine() sc.nextLine sc s = s.replace("2017/", "2018/") s s.replace("2017/", "2018/") s.replace s "2017/" "2018/" System.out.println(s) System.out.println System.out System System.out s String[] args args
import java.util.*;

class Main {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        s = s.replace("2017/", "2018/");

        System.out.println(s);
    }
}