Чередующийся логотип

хотелось бы их менять при каждой загрузке страницы

похожее здесь

Ну или что то типо того)

Как сделать, чтобы логотип менялся каждый раз так, как это реализовано в гугле?
Есть "набор" логотипов

хотелось бы их менять при каждой загрузке страницы

<?php
srand((double)microtime()*1000000);
$rnd = rand(1,3);
include $rnd.'.txt';
?>

<a href="http://сайт.ру"><img alt="" src="http://сайт.ру/logo1.png"></a>

<a href="http://сайт.ру"><img alt="" src="http://сайт.ру/logo2.png"></a>

<a href="http://сайт.ру"><img alt="" src="http://сайт.ру/logo3.png"></a>

Замечание: Начиная с PHP 4.2.0, больше нет необходимости инициализировать генератор случайных чисел функциями srand() или mt_srand(), поскольку теперь это происходит автоматически.

<a href="http://сайт.ру"><img alt="сайт.ру" src="http://сайт.ру/logo<?php echo rand(1,3);?>.png"/></a>

OlegSaf, srand

Замечание: Начиная с PHP 4.2.0, больше нет необходимости инициализировать генератор случайных чисел функциями srand() или mt_srand(), поскольку теперь это происходит автоматически.

Не проще ли так?