Come generare numeri random diversi?

[Eyescream]

http://it2.php.net/manual/en/function.shuffle.php

metti tutto in un array e usa shuffle, poi tiri fuori con un foreach