process.stdin.resume();
process.stdin.setEncoding('utf8');
// Here your code !
process.stdin.on("data",function(chunk){
   var line = chunk.split(" ").map(function(e){return parseInt(e)});
   console.log(line.sort(function(a,b){return a-b}).join(" "));
});