process.stdin.resume();
process.stdin.setEncoding('utf8');

process.stdin.on('data', function (chunk) {
    var line = chunk.toString();
    var ary = line.split(' ');
    ary.sort();
    console.log(ary.join(' '));
});