Funzione random che dia sempre 3 numeri diversi!

[Veronica80]

Ciao a tutti! Ho necessità di utilizzare la funzione rand() in modo che mi dia una serie di 3 numeri che siano SEMPRE diversi tra loro!

Per fare un test ho provato a buttar giù sto codice:

$i1=rand(0,3);
echo $i1 .'<br />';

do{
      $i2=rand(0,3);    
      }while($i2==$i1);      
echo $i2 .'<br />';

do{
      $i3=rand(0,3);      
      }while($i3==$i1 || $i3==$i2);
echo $i3 .'<br />'; 

che ovviamente non funge (i numeri a volte son uguali tra loro)

Qualcuno ha qualche suggerimento?