function main() {
  var
  arr = input.split(' ').map(parseFloat);
  arr.sort(function(a, b) {
    return a - b;
  });
  console.log(arr.join(' '));
}

var
input = '';

process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function(chunk) {
  input += chunk;
});
process.stdin.on('end', function() {
  main();
});