อยากทราบวิธีการ random ตัวเลขใน textfile มาแสดงครับ

<?php

$imglist = array('banner1.gif', 'banner2.gif', 'banner3.gif' , 'banner4.gif');
$linklist = array('link1.php', 'link2.php', 'link3.php', 'link4.php');

$lastAd = @$_COOKIE['lastAd'] ;

$id = rand(0, count($imglist)-1) ;

while ($id == $lastAd) {
	$id = rand(0, count($imglist)-1) ;
}

setcookie("lastAd", $id , time()+3600*24*2 ); 

$imgfile = $imglist[$id];
$link= $linklist[$id];

?>
<h3>ยินดีต้อนรับ</h3>
ลองคลิก refresh หรือเปิดเวบเข้ามาใหม่ ภาพโฆษณาจะหมุนเวียนสลับ สุ่มอัตโนมัติ <br>
<a href=<?=$link?>><img src= <?=$imgfile?> border=1> </a> <br>
บ้ายบาย