do it with php also is my advice...
use this code:
<?php
$quotes = ('http://www.yourdomain.com/picsmap.txt');
$quotes = file($quotes);
srand((double)microtime() * 1000000);
$ranNum = rand(0, count($quotes)-1);
?>
<?php echo ($quotes[$ranNum]); ?>
make that a file... call it bannerrotationpictures.php- or whatever :-), but then you are going to want to change where it points (in the above example it is yourdomain.com/picsmap.txt)... that file must be a txt file, with an address to a picture on each line.. in other words a url to a picture and a line break...example:
http://yourdomain.com/yourpic-1.gif
http://yourdomain.com/yourpic-2.jpg
http://yourdomain.com/yourpic-3.png
get it?
it works well, and reloads with a different random pic every time the page is reloaded...
I use it for ads on one of my blog/webpages.. here and here ... but it can work for a lot of things...
one important matter: the php file that does the work must reside in the same directory that holds the txt file pointing to the pics..