import strutils, times

let
  a = stdin.readLine.parseInt
  h = a / 100
  m = (h * 60).int
  s_time = "10:00".parse("HH:mm")

echo (s_time + m.minutes).format("HH:mm")