(require '[clojure.string :as str])

(defn replace-year-2018 [date]
  (str/replace-first date "2017" "2018"))

(defn main [& args]
  (let [line (read-line)]
    (println (replace-year-2018 line))))

(main)