substring' :: [a] -> Int -> [a]
substring' [] _ = []
substring' xs s
  | s > 0 = substring' (tail xs) (s-1)
  | s <= 0 = xs

main = do
  line <- getLine
  let
    correct = "2018/01/" ++ substring' line 8
  putStrLn correct
