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