from datetime import datetime, timedelta
h,m = map(int,input().split(':'))
t = datetime(2017,6,10,hour=h, minute=m)
t += timedelta(minutes=5)
print("{:02d}:{:02d}".format(t.hour, t.minute))