process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data',function(chunk){

var inputs= chunk.split(' ');
var inputs[0]=Number(inputs[0]);
var inputs[1]=Number(inputs[1]);
var inputs[2]=Number(inputs[3]);
inputs.sort();


console.log(inputs[0]+" "+inputs[1]+" "+inputs[2]);

});