S = input().split("/")
year = int(S[0])
month = int(S[1])
day = int(S[2])

uru = []
for i in range(101) :
    y = 2000 + 4*i
    if (y % 400 != 0) and (y % 100 == 0) :
        continue
    uru.append(y)

last = [">o'ω'o<",31,28,31,30,31,30,31,31,30,31,30,31]

if year in uru :
    last[2] += 1

if day+2 > last[month] :
    day = day+2 - last[month]
    if month == 12 :
        year += 1
        month = 1
    else :
        month += 1
    
else :
    day += 2
    
ans = "{}/{}/{}".format(str(year).zfill(4),str(month).zfill(2),str(day).zfill(2))
print(ans)