do it with php also is my advice...
use this code:
$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:
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..