fork download
  1. <?php
  2. $a=0;
  3. $array=[];
  4. while($a<10){
  5. list($b)=sscanf(fgets(STDIN),"%d");
  6. $array[$a]=$b;
  7. $a++;
  8. };
  9. rsort($array);
  10. foreach (range(0,2) as $r) {
  11. echo $array[$r];
  12. echo "\n";
  13. };
  14. ?>
Success #stdin #stdout 0.03s 26020KB
stdin
100
200
300
400
500
600
700
800
900
900
stdout
900
900
800