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

process.stdin.on('data', function (chunk) {
    var data = chunk.replace(/\n/, '').split(' ');
    data.sort();
    console.log(data.join(' '));
});