Y, M, D = map(int, input().split('/'))

import datetime

ans = datetime.timedelta(2) + datetime.date(Y, M, D)

print(ans.year, str(ans.month).zfill(2), str(ans.day).zfill(2), sep='/')