process.stdin.resume();
process.stdin.setEncoding('utf8');

process.stdin.on('data', function (chunk) {
  var line = chunk.split(' ');
  var arr = line.split(' ');
  arr.sort();

console.log(arr);
    
  
});