Codice PHP:
<?

$banners 
= Array(
'banner1.gif',
'prova5.gif',
'nome3.jpg'
);


echo 
"<img src=\"".array_rand($banners)."\" />":

?>

Oppure, se hai banner del tipo: banner0.gif, banner1.gif, banner2.gif (stessa estensione e nome in proghessione):

Codice PHP:
<?

echo "<img src=\"banner.".rand(02).".gif\" />";

?>

E poi ci sono tanti altri metodi...