import datetime
dt = datetime.datetime(2015, 1, 1, 10,00)

a = int(input())

min = datetime.timedelta(minutes= (a/100)*60)
t = dt + min

print(t.strftime("%H:%M"))