process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var nums = chunk.split(" ");
    for(var i = 0; i < nums.length; i ++){
        nums[i] = Number(nums[i]);
    }
    var output = "No";
    var length = nums.length;
    while(length > 0){
       for (var i = 0; i < nums.length; i ++){
            // console.log("i = " + i);
            if (nums[i] > nums[i + 1]){
                var temp = nums[i];
                nums[i] = nums[i + 1];
                nums[i + 1] = temp;
            }
       }
       length --;
    }
    output = nums[0] + " " + nums[1] + " " + nums[2];
    console.log(output);
});

