process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data',function(chunk){

var line = chunk.split(' ');
var hour_sec = 60*60
var minitue_sec = 60;
var sec = Number(line[0]);

var h = sec/hour_sec;
var m = (sec % hour_sec) /minitue_sec;
var s = hour_sec % minitue_sec % sec ;

console.log(h+':'+m+':'+s);
});