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