'use strict';
process.stdin.on('data', function(chunk) {
    var inputs = chunk.toString().trim().split(' ').map(Number);
    console.log(inputs.sort(function(a, b) {
        return a - b;
    }).join(' '));
});
process.stdin.resume();
process.stdin.setEncoding('utf8');