process.stdin.resume();
process.stdin.setEncoding('utf8');
var input_string = '';

process.stdin.on('data', function(chunk) {
    input_string += chunk;
});

process.stdin.on('end', function() {
    const lines = parseInt(input_string);
    var h = parseInt(lines/3600);
    var m = parseInt((lines%3600)/60);
    var s = parseInt((lines%3600)%60);
    console.log(h+':'+m+':'+s);
});
