from datetime import datetime, timedelta

print((datetime.strptime(input(), '%H:%M') + timedelta(minutes=5)).strftime('%H:%M'))