import java.io.*;

public class Main {
    public static void main(String[] args) throws Exception {
        try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        }
    }
} import java.io.*; io.* java public class Main {
    public static void main(String[] args) throws Exception {
        try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        }
    }
} Main public static void main(String[] args) throws Exception {
        try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        }
    } main {
        try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        }
    } try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        } catch(Exception e){
            System.out.println(e);
        } Exception e {
            System.out.println(e);
        } System.out.println(e) System.out.println System.out System System.out e {
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        } BufferedReader br = new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) String strSplit[] = br.readLine().split("/"); strSplit br.readLine().split("/") br.readLine().split br.readLine() br.readLine br "/" strSplit[0] = "2018" strSplit[0] strSplit 0 "2018" System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]) System.out.println System.out System System.out strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2] "/" strSplit[1] strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2] strSplit[0] strSplit 0 "/" strSplit[1] strSplit 1 "/" strSplit[2] strSplit 2 String[] args args public class Main {
    public static void main(String[] args) throws Exception {
        try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        }
    }
} public class Main {
    public static void main(String[] args) throws Exception {
        try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        }
    }
} Main
import java.io.*;

public class Main {
    public static void main(String[] args) throws Exception {
        try{
            BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
            
            String strSplit[] = br.readLine().split("/");
            strSplit[0] = "2018";
            
            System.out.println(strSplit[0] + "/" + strSplit[1] + "/" + strSplit[2]);
            
        }catch(Exception e){
            System.out.println(e);
        }
    }
}