Php ile text belgesinden random sayı seçme

Merhaba arkadaşlar,

xx.txt dosyasında bulunan örneğin 10.000 random sayı içinden tek tek sayı sonucu verecek bir php koduna ihtiyacım var.

Yardımlarınız için şimdiden teşekkürler.

İyi akşamlar.

17667
90877
32114
87765
43378
10975
23567
65432

$textDoc = strtok(file_get_contents("TextDosyasi.txt"),"\n\r\t ");
for($Array_values = array(); $textDoc !== false; $textDoc = strtok("\n\r\t "))
$Array_values[] = floatval($textDoc);
$rand = rand(0,9999);

echo $Array_values[$rand];

//var_dump($Array_values);

Selamlar hocam bu şekilde deneyin bakalım text dosyanızın içindeki sayılar örnekteki gibi olmalı diğer türlü sorun çıkar, Kolay gelsin

Dosya içindeki satır satır alıp bir değişkene array tipinde atayın.sonra değişken içinden random almak için 0 ila değişken deki eleman sayısı kadar random sayı oluşturup oluştulan değerindeki elemanı alabilirsiniz.

$file = fopen("xx.txt", "r");

while(!feof($file))
{
$degisken[]=fgets($file);
}
Echo $degisken[rand(0,count($degisken))];
fclose($file);