Numeri random mai uguali tra loro

[-AA-]

Ho una tabella con X immagini, vorrei pescarne 4 ad ogni caricamento di pagina...queste 4 dovrebero essere SEMPRE diverse tra loro..

esempio
1.jpg
3.jpg
5.jpg
7.jpg
----------oppure---------
7.jpg
3.jpg
4.jpg
9.jpg

--------------------------
Quel che voglio dire è che non mi interessa se le immagini ad 1 eventuale refresh si ripetono dalla stampa precedente...mi interessa solo che tra di loro non ci sia 1 doppione....

Quel che ho fatto per il momento è questo:

<?php
//cerco il progetto home
$sqlproj = "SELECT * FROM tab WHERE homepage = 1";
$resproj = mysql_query($sqlproj);
$numproj = mysql_num_rows($resproj);
    
    if($numproj != 0){
    $rowproj = mysql_fetch_array($resproj);
    $idproj = $rowproj['id'];
        
        $sqlfoto = "SELECT * FROM tab_foto WHERE idprogetto = '$idproj' AND tipo = '1' Order by id ASC";
        $resfoto = mysql_query($sqlfoto);
        while($rowfoto = mysql_fetch_array($resfoto)){$random[] = $rowfoto['foto'];}
    }
//random x foto
    $count = count($random);
    $num = $count-1;
    $rand1 = rand(0, $num);
    $rand2 = rand(0, $num);
    $rand3 = rand(0, $num);
    $rand4 = rand(0, $num);
//fine cerco
?>
[img]projects/<?php echo $random[$rand1] ?>[/img]
[img]projects/<?php echo $random[$rand2] ?>[/img]
[img]projects/<?php echo $random[$rand3] ?>[/img]
[img]projects/<?php echo $random[$rand4] ?>[/img]

Così facendo ho spesso dei doppioni