var heights = [];
process.stdin.on('data', function (height) {
  heights.push(perseInt(height));
});
process.stdin.on('end', function () {
  heights.sort();
  for(var i = 9; i >=7; i--){
    console.log(heights[i]);
  }
});