import strutils, sequtils

const
  lst = [31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]

var
  tmp = split(readLine stdin, "/").map parseInt
  (Y, M, D) = (tmp[0], tmp[1], tmp[2])


proc go =
  D += 1
  var j: int
  if Y mod 400 == 0 or (Y mod 100 != 0 and Y mod 4 == 0):
    if M == 2:
      j = 1
  if D > lst[M - 1] + j:
    M += 1
    D = 1
  if M > 12:
    Y += 1
    M = 1

for i in 0 ..< 2:
  go()

echo mapIt([Y, M, D], align($it, 2, '0')).join("/")