import Control.Applicative ((<$>))
import Data.Time.Calendar (fromGregorian, toGregorian, addDays)
import Text.Printf (printf)
import Data.ByteString.Char8 (ByteString)
import qualified Data.ByteString.Char8 as B

main :: IO ()
main = do
    s <- B.unpack <$> B.getLine
    let (y, m, d) = solve s
    printf "%d/%02d/%02d" y m d

solve :: String -> (Integer, Int, Int)
solve s = toGregorian $ addDays 2 $ fromGregorian  y m d
    where
        y      = (read :: String -> Integer) a
        [m, d] = map read $ [b, c]
        a = take 4 s
        b = take 2 $ drop 5 s
        c = drop 8 s