random script

[mahmoud]

I am trying to make a small script which choose a random server

what I want :
$server1
$server2
$server3

and $server = "one from the server* chosen randomly"

The code I wrote :

<?php
$server1 = "test1";
$server2 = "test2";
$server3 = "test3";

$random = rand (1, 3);
$srvnow = "server".$random;
eval ("\$server = \"$$srvnow\";");

echo "<b>".$server."</b>";
?>

but it did not work .. test1 was always the result ..