Miscellany

srand((float) microtime() * 10000000);$banner = array (	"Banner01.jpg", "Banner02.jpg", "Banner03.jpg", "Banner04.jpg", 	"Banner05.jpg", "Banner06.jpg", "Banner07.jpg", "Banner08.jpg", 	"Banner09.jpg", "Banner10.jpg");$rand_keys = array_rand($input);echo $input[$rand_keys[]] . "\n";echo "<img src='$input'>\n";