import datetime
A = int(input())
T = (60 * A) // 100
DATE = datetime.datetime(2023, 6, 5, 10, 0, 0) + datetime.timedelta(minutes=T)
print(f"{str(DATE.hour).zfill(2)}:{str(DATE.minute).zfill(2)}")