Ahora si funciona..
Código PHP:
// Se inicializa la semilla, pero creo que ya no es necesario
srand((float) microtime() * 10000000);
$images = array(
"427.png",
"428.jpg",
"6.jpg",
"invalid.gif",
"required.gif",
"validated.gif"
);
$img_seleccionada = rand(0, count($images)-1);
echo "<img src='images/".$images[$img_seleccionada]."' />\n";