a=input().split("/")


qq=2018
q=int(a[1])
w=int(a[2])

print(qq,"/",q,"/",w)