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

public class Main {
    public static void main(String[] args) throws Exception {
        /**           入力                    **/
        BufferedReader br = new BufferedReader(new InputStreamReader(System.in)); //キー入力を取得
        String line = br.readLine();//1列目を取得
        String aInput[] = null;
        aInput = line.split(" ");
        //デバッグ
//        for(String aTxt : aInput) {
//          System.out.println(aTxt);
//        }
        
        /********** ここから問題 ********/
        /**           定数                    **/
        
        /**           変数                    **/
        String aDate = null;
        
        /**           出力                    **/
        System.out.println(aInput[0].replaceAll("2017", "2018"));
    }
}
/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