fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val a = readInt ()
        val m = a * 60 div 100

        val ansH = (m div 60) + 10
        val ansM = m mod 60

    in
        print (StringCvt.padLeft #"0" 2 (Int.toString ansH) ^ ":" ^
               StringCvt.padLeft #"0" 2 (Int.toString ansM) ^ "\n")
    end