let hour s = s / 3600

let minute s = s / 60 mod 60

let second s = s mod 60

let main s = Printf.printf "%i:%i:%i\n" (hour s) (minute s) (second s)

(* ;; print_string "input: " *)
;; Scanf.sscanf (read_line ()) "%d" main