var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  var data = chunk.replace( /\n/, '' ).split( ' ' );
  for( var i=0; i<data.length; i++ ) {
    data[i] = parseInt( data[i] );
  }
  for( var i=0; i<data.length-1; i++ ) {
    for( var j=i+1; j<data.length; j++ ) {
      if( data[j] < data[i] ) {
        var t = data[i];
        data[i] = data[j];
        data[j] = t;
      }
    }
  }
  console.log( data.join( ' ' ) );
} )