time=input()
t=time.split(":")
t[1]=str(int(t[1]+5))
print(t[0]+':'+t[1])