import datetime as dt

date = input()

YYYY = int(date[0:4])
MM = int(date[5:7])
DD = int(date[8:10])

d = dt.date(YYYY,MM,DD)
ans = d + dt.timedelta(2)

print(dt.date.strftime(ans,"%Y/%m/%d"))