<?php
$ar = array(20,
19,
18,
17,
16,
15,
14,
13,
12,
11,
10,
10,
9,
9,
8,
8,
7,
7,
7,
6,
6,
6,
5,
5,
5,
5,
4,
4,
4,
4,
3,
3,
3,
3,
2,
2,
2,
2,
1,
1,
1,
1);
 
$a2 = shuffle($ar);
foreach ($a in $ar) echo $a . "\n";
?>