<?
mt_srand((double)microtime()*1000000);
$aleatorio=intval((mt_rand(0,10000000)/10000000));
$imagenes=array("imagen1.png","imagen2.png");
$imagen=$imagenes[$aleatorio];
print "<div class=top style=background-image:url(".$imagen.");>";
?>
asi esta bien? esque siempre me tira la misma imagen :S