process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (inputString)
{
 const stringArray = inputString.split(' ');
  let numArray = [];
  let result ='';
  
  stringArray.forEach(function(num){
   numArray.push(Number(num));
  })
  
  numArray.sort(function(a,b){
        if( a < b ) return -1;
        if( a > b ) return 1;
        return 0;
  });
  
  numArray.forEach(function(num){
    result += String(num) + ' ';
  });
  
  result = result.slice( 0, -1 );
  console.log(result);
});
