time=input()
t=time.split(":")
t[1]='{0:02d}'.format(int(t[1])+5)
print(t[0]+':'+t[1])