Random images PHP

<?php $nbimages=12; 
$images[1]=""sidi.fr_fichiers/random/A.JPG"";
$images[2]=""sidi.fr_fichiers/random/B.JPG"";
$images[3]=""sidi.fr_fichiers/random/C.JPG"";
$images[4]="sidi.fr_fichiers/random/D.JPG"";
$images[5]=""sidi.fr_fichiers/random/E.JPG"";
$images[6]=""sidi.fr_fichiers/random/F.JPG"";
$images[7]=""sidi.fr_fichiers/random/G.JPG"";
$images[8]=""sidi.fr_fichiers/random/H.JPG"";
$images[9]=""sidi.fr_fichiers/random/I.JPG"";
$images[10]=""sidi.fr_fichiers/random/J.JPG"";
$images[11]=""sidi.fr_fichiers/random/K.JPG"";
$images[12]=""sidi.fr_fichiers/random/L.JPG"";
srand((double)microtime()*1000000);
$affimage=rand(0,12);
?>