from datetime import datetime, timedelta
dt = datetime(2000, 1, 1, 10, 0)
a = int(input())
p = (a/100)*60
dt = dt + timedelta(minutes=p)
print(dt.strftime("%H:%M"))