请问php如何随机提取固定行数据,这代码如何改?

请问php如何随机提取固定行数据,这代码如何改?

<?php
$file = "anyu.txt"; //存放谚语的文件位置;
$refresh = 600; //刷新的时间间隔;
$numbers = file($file); //将文件存放在一个数组中;
      shuffle($numbers);
      foreach($numbers as $numbers)
        {
          echo "$numbers <br>";
        }
      
    ?>

这个提取的是anyu.txt所有的数据,如何只提取7个数据,请问如何修改?

7个跳出循环

[复制到剪切板]
CODE:
<?php 
$file 
"anyu.txt"//存放谚语的文件位置;
$refresh 600//刷新的时间间隔;
$numbers file($file); //将文件存放在一个数组中;
shuffle($numbers);
$i=0;
foreach(
$numbers as $numbers)
{
    echo 
"$numbers <br>";
    
$i++;
    if(
$i>=7) break;
}

?> ;


如履薄冰