pastyear=input().split("-")
Y=int(pastyear[0])+10
pastyear[0]=str(Y)
print("-".join(pastyear))