import datetime h,m = map(int,input().split(':')) a = datetime.timedelta(hours=h, minutes=m)+datetime.timedelta(minutes=5) v1,v2 = divmod(a.seconds,3600) v2 = int(v2/60) print("{:02d}:{:02d}".format(v1,v2))