Image random PHP

[maurelio79]

Ciao a tutti, io di solito uso questo script per stampare a video un'immagine diversa ogni volta che si carica la pagina

// Imposto il num. totale di immagini nella cartella 
$total = "5";  
//Imposto il tipo di file 
$file_type = ".png";  
// Imposto il percorso della cartella con le immagini 
$image_folder = "http://www.miosito.net/images/random";  
//Imposto la prima immagine 
$start = "1";  
$random = mt_rand($start, $total); 
$image_name = $random . $file_type; 
 //Dico al PHP cosa stamparmi a video 
echo "<img src=\"$image_folder/$image_name\"  />"; 

Quello che dovrei fare però e stampare a video (sempre a random) più di una immagine dalla stessa cartella, usando questo scrpt rischio che vengano stampate a video le stesse immagini.
Per spiegarmi meglio:
data una cartella con 100 immagini devo stampare a video 4 immagini diverse tra loro e diverse ogni volta che si carica la pagina.

Grazie per l'eventuale aiuto