
import java.util.*;
public class Main{
    public static void main(String[] args)throws Exception{


        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        System.out.println(s.replaceFirst("2017","2018"));


    }
} import java.util.*; util.* java public class Main{
    public static void main(String[] args)throws Exception{


        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        System.out.println(s.replaceFirst("2017","2018"));


    }
} Main public static void main(String[] args)throws Exception{


        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        System.out.println(s.replaceFirst("2017","2018"));


    } main {


        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        System.out.println(s.replaceFirst("2017","2018"));


    } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String s = sc.nextLine(); s sc.nextLine() sc.nextLine sc System.out.println(s.replaceFirst("2017","2018")) System.out.println System.out System System.out s.replaceFirst("2017","2018") s.replaceFirst s "2017" "2018" String[] args args public class Main{
    public static void main(String[] args)throws Exception{


        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        System.out.println(s.replaceFirst("2017","2018"));


    }
} public class Main{
    public static void main(String[] args)throws Exception{


        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        System.out.println(s.replaceFirst("2017","2018"));


    }
} Main

import java.util.*;
public class Main{
    public static void main(String[] args)throws Exception{


        Scanner sc = new Scanner(System.in);

        String s = sc.nextLine();

        System.out.println(s.replaceFirst("2017","2018"));


    }
}