Рандом галерей

Как сделать на PHP файл в котором будут находится списки галерей и при обрашений к скрипту он выбирал одну из галерей в случайгом порядке и соотвецтвено переходил на неё.

<?php
$gals = array('http://google.com/','http://yahoo.com/','http://ya.ru/');
srand(time());
$num=rand(0,count($gals)-1);
header('Location: '.$gals[$num]);
?>

это чистый рандом, без запоминания уже выбранных галер

<?php
$fileName = "gallery.txt";
mt_srand( (double) microtime() * 1000000 );
$a = file($fileName);
$randNum = mt_rand( 0, sizeof($a)-1 );
header( "Location: ". $a[$randNum] );
?>

В файле gallery.txt список галерей. В строке по галере.