
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;
        }   
}

/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz