from datetime import datetime, timedelta
a,b,s=input().split()
print("{0:%H:%M}".format(datetime.strptime(a+":"+b,"%H:%M")+timedelta(minutes=(float(s[3:])-9)*60)))