Non so come risolvere la seguente necesistà,

dato un Array di 10.000 numeri telefonici es:
codice:
$aTelephonNumbers = mysql_fetch_array(mysql_query("SELECT Numero FROM numeri_telefonici ORDER BY Numero ASC;", $link));
vorrei fare una stampa a video di un certo numero di essi, impostando in percentuale quanti, es:

voglio stamparne il 10%,

quindi setto a 10 la mia variabile e lui mi deve restituire il 10% dei numeri presenti nell'Array ma in maniera RANDOM.

come potrei fare ???