меняющийся логотип

{
if ($_SERVER['PHP_SELF']!='/index.php')
{
echo '<div class="logo">';
srand((double)microtime()*1000000);
$rnd = rand(1,3);
include $rnd.'.php';
echo "</div>";
}
if ($_SERVER['PHP_SELF']=='/index.php')
{
echo '<div class="logo">';
srand((double)microtime()*1000000);
$rnd = rand(1,3);
include $rnd.'.php';
echo "</div>";
}
}