var input = require('fs').readFileSync('/dev/stdin', 'utf8');
var nums = input.trim().split(' ').map(function(num){return +num;});
nums.sort(function(a, b){return b - a;});
console.log(nums.join(' '));