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

uru = [2000 + 4*i for i in range(101)]

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)