import datetime

year,month,day = map(int,input().split("/"))
input_data = datetime.date(year,month,day)
ans = input_data + datetime.timedelta(days = 2)
print("{0}/{1:02d}/{2:02d}".format(ans.year,ans.month,ans.day))