import datetime
date = list(map(int, input().split('/')))
    
def addZero(value):
    if 1 <= value <= 9:
        return '0' + str(value)
    else:
        return str(value)

t = datetime.datetime(date[0], date[1], date[2])
d = datetime.timedelta(days=2)
td = t + d
year = td.year
month = td.month
day = td.day

M = addZero(month)
D = addZero(day)

print(str(year) + "/" + M + "/" + D)