S = input()

S_split = S.split("/")

newData = str(int(S_split[2]) + 2)

S_split[2] = "0" + newData

S = "/".join(S_split)

print(S)