import datetime
H, M = map(int, input().split(":"))
Date = datetime.datetime(2023, 6, 5, H, M, 0) + datetime.timedelta(minutes=5)
print(f"{str(Date.hour).zfill(2)}:{str(Date.minute).zfill(2)}")