Funzione random che dia sempre 3 numeri diversi!

[luc99a]

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?

Ok se funziona, ma quei cicli do-while potenzialmente possono durare all'infinito.
Ti consiglio qualcosa di questo genere:

$random_numbers = range(1, 3);
shuffle($random_numbers);
foreach ($random_number as $random) echo $random . "<br />";