var outputArray = function(array)
{
  var str = "";
  for (var i = 0; i < array.length; i++)
  {
    str = str + array[i];
    if (i<array.length-1)
      str = str + " ";
    else
      console.log(str);
  }
  return str;
}

process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function(input) {
  var result = input.split(' ').map(Number)
  .sort(
    function(a,b){
    if( a < b ) return -1;
      if( a > b ) return 1;
      return 0;
  }
);

  outputArray(result);
});