Main(function(input) {
	console.log(input.trim().split(' ').sort(function(a, b) {
		return (b - a);
	}).join(' '));
});

function Main(main) {
	var input = '';

	process.stdin.resume();
	process.stdin.setEncoding('utf8');
	process.stdin.on('data', function(chunk) {
		input += chunk;
	});
	process.stdin.on('end', function() {
		main(input);
	});
};