from datetime import datetime, timedelta

a = int(input())

h = a / 100

now = datetime(2000, 1, 1, 10)

end = now + timedelta(hours=h)

ans = end.strftime("%H:%M")

print(ans)