import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

class Main{
    public static void main(String[] args){
        try{
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            String date = s.substring(4);
            String year = "2018";
            String ans = year.concat(date);
            System.out.println(ans);
        } catch (IOException e){
            e.printStackTrace();
        }
        
    }
} import java.io.BufferedReader; BufferedReader java.io import java.io.IOException; IOException java.io import java.io.InputStreamReader; InputStreamReader java.io class Main{
    public static void main(String[] args){
        try{
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            String date = s.substring(4);
            String year = "2018";
            String ans = year.concat(date);
            System.out.println(ans);
        } catch (IOException e){
            e.printStackTrace();
        }
        
    }
} Main public static void main(String[] args){
        try{
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            String date = s.substring(4);
            String year = "2018";
            String ans = year.concat(date);
            System.out.println(ans);
        } catch (IOException e){
            e.printStackTrace();
        }
        
    } main {
        try{
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            String date = s.substring(4);
            String year = "2018";
            String ans = year.concat(date);
            System.out.println(ans);
        } catch (IOException e){
            e.printStackTrace();
        }
        
    } try{
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            String date = s.substring(4);
            String year = "2018";
            String ans = year.concat(date);
            System.out.println(ans);
        } catch (IOException e){
            e.printStackTrace();
        } catch (IOException e){
            e.printStackTrace();
        } IOException e {
            e.printStackTrace();
        } e.printStackTrace() e.printStackTrace e {
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            String date = s.substring(4);
            String year = "2018";
            String ans = year.concat(date);
            System.out.println(ans);
        } BufferedReader reader = new BufferedReader(new InputStreamReader(System.in)); reader new BufferedReader(new InputStreamReader(System.in)) String s = reader.readLine(); s reader.readLine() reader.readLine reader String date = s.substring(4); date s.substring(4) s.substring s 4 String year = "2018"; year "2018" String ans = year.concat(date); ans year.concat(date) year.concat year date System.out.println(ans) System.out.println System.out System System.out ans String[] args args
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

class Main{
    public static void main(String[] args){
        try{
            BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
            String s = reader.readLine();
            String date = s.substring(4);
            String year = "2018";
            String ans = year.concat(date);
            System.out.println(ans);
        } catch (IOException e){
            e.printStackTrace();
        }
        
    }
}