<?php
/* Last Modified: 12/11/2006
see blog entry php-scripts.com #97:
http://www.php-scripts.com/20061211/97/
a more efficient version than using array_shift with a for loop
*/
$random_numbers = range(1,100);
shuffle($random_numbers);
$numbers_chosen = array($random_numbers[0],$random_numbers[1],$random_numbers[2],$random_numbers[3]);

print "before ";
print_r($random_numbers); // first four numbers chosen

$random_numbers = array_splice($random_numbers,4);

print "<hr>after ";
print_r($random_numbers); // first four numbers chosen

print "<hr>chosen ";
print_r($numbers_chosen); // first four num5 bers chosen
?>