process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function(chunk) {
  var input = chunk.split(' ').map(Number);
  console.log(input.slice().sort(function (a, b) {return a - b;}));
});