
import java.io.*;

public class Main{
        public static void main(String[] args)throws IOException{
                InputStreamReader isr = new InputStreamReader(System.in);
                BufferedReader br = new BufferedReader(isr);
                String line = br.readLine();
                String inf[] = line.split("/",0);
                if(inf[0].equals("2017")){
                        inf[0] = "2018";
                }   
                System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]);
                return;
        }   
} import java.io.*; io.* java public class Main{
        public static void main(String[] args)throws IOException{
                InputStreamReader isr = new InputStreamReader(System.in);
                BufferedReader br = new BufferedReader(isr);
                String line = br.readLine();
                String inf[] = line.split("/",0);
                if(inf[0].equals("2017")){
                        inf[0] = "2018";
                }   
                System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]);
                return;
        }   
} Main public static void main(String[] args)throws IOException{
                InputStreamReader isr = new InputStreamReader(System.in);
                BufferedReader br = new BufferedReader(isr);
                String line = br.readLine();
                String inf[] = line.split("/",0);
                if(inf[0].equals("2017")){
                        inf[0] = "2018";
                }   
                System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]);
                return;
        } main {
                InputStreamReader isr = new InputStreamReader(System.in);
                BufferedReader br = new BufferedReader(isr);
                String line = br.readLine();
                String inf[] = line.split("/",0);
                if(inf[0].equals("2017")){
                        inf[0] = "2018";
                }   
                System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]);
                return;
        } InputStreamReader isr = new InputStreamReader(System.in); isr new InputStreamReader(System.in) BufferedReader br = new BufferedReader(isr); br new BufferedReader(isr) String line = br.readLine(); line br.readLine() br.readLine br String inf[] = line.split("/",0); inf line.split("/",0) line.split line "/" 0 if(inf[0].equals("2017")){
                        inf[0] = "2018";
                } inf[0].equals("2017") inf[0].equals inf[0] inf 0 "2017" {
                        inf[0] = "2018";
                } inf[0] = "2018" inf[0] inf 0 "2018" System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]) System.out.print System.out System System.out inf[0]+"/"+inf[1]+"/"+inf[2] "/" inf[1] inf[0]+"/"+inf[1]+"/"+inf[2] inf[0] inf 0 "/" inf[1] inf 1 "/" inf[2] inf 2 return; String[] args args public class Main{
        public static void main(String[] args)throws IOException{
                InputStreamReader isr = new InputStreamReader(System.in);
                BufferedReader br = new BufferedReader(isr);
                String line = br.readLine();
                String inf[] = line.split("/",0);
                if(inf[0].equals("2017")){
                        inf[0] = "2018";
                }   
                System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]);
                return;
        }   
} public class Main{
        public static void main(String[] args)throws IOException{
                InputStreamReader isr = new InputStreamReader(System.in);
                BufferedReader br = new BufferedReader(isr);
                String line = br.readLine();
                String inf[] = line.split("/",0);
                if(inf[0].equals("2017")){
                        inf[0] = "2018";
                }   
                System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]);
                return;
        }   
} Main

import java.io.*;

public class Main{
        public static void main(String[] args)throws IOException{
                InputStreamReader isr = new InputStreamReader(System.in);
                BufferedReader br = new BufferedReader(isr);
                String line = br.readLine();
                String inf[] = line.split("/",0);
                if(inf[0].equals("2017")){
                        inf[0] = "2018";
                }   
                System.out.print(inf[0]+"/"+inf[1]+"/"+inf[2]);
                return;
        }   
}
