process.stdin.setEncoding('utf-8');
process.stdin.on('data', input => {

  const sec = parseInt(input);
  const hour = parseInt(sec / 3600);
  const minute = parseInt(sec / 60 % 60);
  const secont = parseInt(sec / 60)

  outPut = hour + ':' + minute + ':' + secont;
  console.log(outPut)
})
