process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
var lines = chunk.toString().split(' ');
  
var arr = lines;

arr.sort(function(a, b){
    return parseInt(a) - parseInt(b);    
});

var renketu =""; //??°????????£???
for(var i=0; i<arr.length; i++)
    if(i === arr.length-1)
        renketu += arr[i];
    else
        renketu += arr[i] + " ";

    console.log(renketu);

});