from datetime import datetime, timedelta

t = input()

h, m = map(int, t.split(":"))

now = datetime(2000, 1, 1, h, m)
ago = now + timedelta(minutes=5)

ans = ago.strftime("%H:%M")
print(ans)