-- | Main entry point to the application.
module Main where

import Control.Applicative
import Control.Monad
import Data.List
import Debug.Trace
import Text.Printf

rInt :: String -> Int
rInt str = read str :: Int

-- | The main entry point.
main :: IO ()
main = do
    [s] <- (map rInt . words) <$> getLine
    printf "%d:%d:%d\n" (s `div` 3600) ((s `mod` 3600) `div` 60) (s `mod` 60)