for a quick and dirty solution, you can run a while loop to generate those #s:
mt_srand(blah blah);
$random = (mt_rand(1, 8));
do {
$random2 = mt_rand(1, 8);
} while($random2 != $random);
do {
$random3 = mt_rand(1, 8);
} while( ($random3 != $random) && ($random3 != $random2) );
it might be better to write a recursive function if you wish to generate more unique random numbers.
-sridhar