import java.util.*;
import java.io.*;
import java.lang.*;

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

        System.out.println("2018"+d.substring(4));
    }
} import java.util.*; util.* java import java.io.*; io.* java import java.lang.*; lang.* java public class Main {
    public static void main(String[] args){
        Scanner sc = new Scanner(System.in);
        String d = sc.nextLine();

        System.out.println("2018"+d.substring(4));
    }
} Main public static void main(String[] args){
        Scanner sc = new Scanner(System.in);
        String d = sc.nextLine();

        System.out.println("2018"+d.substring(4));
    } main {
        Scanner sc = new Scanner(System.in);
        String d = sc.nextLine();

        System.out.println("2018"+d.substring(4));
    } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String d = sc.nextLine(); d sc.nextLine() sc.nextLine sc System.out.println("2018"+d.substring(4)) System.out.println System.out System System.out "2018"+d.substring(4) "2018" d.substring(4) d.substring d 4 String[] args args public class Main {
    public static void main(String[] args){
        Scanner sc = new Scanner(System.in);
        String d = sc.nextLine();

        System.out.println("2018"+d.substring(4));
    }
} public class Main {
    public static void main(String[] args){
        Scanner sc = new Scanner(System.in);
        String d = sc.nextLine();

        System.out.println("2018"+d.substring(4));
    }
} Main
import java.util.*;
import java.io.*;
import java.lang.*;

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

        System.out.println("2018"+d.substring(4));
    }
}
