import java.util.*;

class Main {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String s2017 = scanner.nextLine();
        System.out.printf("2018%s\n", s2017.substring(4, s2017.length()));
    }
} import java.util.*; util.* java class Main {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String s2017 = scanner.nextLine();
        System.out.printf("2018%s\n", s2017.substring(4, s2017.length()));
    }
} Main public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String s2017 = scanner.nextLine();
        System.out.printf("2018%s\n", s2017.substring(4, s2017.length()));
    } main {
        Scanner scanner = new Scanner(System.in);
        String s2017 = scanner.nextLine();
        System.out.printf("2018%s\n", s2017.substring(4, s2017.length()));
    } Scanner scanner = new Scanner(System.in); scanner new Scanner(System.in) String s2017 = scanner.nextLine(); s2017 scanner.nextLine() scanner.nextLine scanner System.out.printf("2018%s\n", s2017.substring(4, s2017.length())) System.out.printf System.out System System.out "2018%s\n" s2017.substring(4, s2017.length()) s2017.substring s2017 4 s2017.length() s2017.length s2017 String[] args args
import java.util.*;

class Main {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String s2017 = scanner.nextLine();
        System.out.printf("2018%s\n", s2017.substring(4, s2017.length()));
    }
}
