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 = "{:02d}".format(ago.hour) + ":" + "{:02d}".format(ago.minute)
print(ans)