# coding: utf-8
import datetime

dt = list(map(int, input().split('/')))
orgTime = datetime.datetime(dt[0], dt[1], dt[2])
orgTime += datetime.timedelta(days=2)
print(orgTime.strftime("%Y/%m/%d"))