from datetime import datetime, timedelta
t = input()
dt = datetime.strptime(t, "%H:%M")
dt += timedelta(minutes=5)
print(dt.strftime("%H:%M"))