var min_pic = 1;  
var max_pic = 5;  
var diff = max_pic-min_pic+1 ;  
var rnd_num=3; 
//the refresh delay in seconds 
var r_delay = 5;  
//one for each image 
var bimage = new Array(5); 
bimage[1]="images/rotating/PennNational100.jpg"; 
bimage[2]="images/rotating/PineValley100.jpg"; 
bimage[3]="images/rotating/PointGrey100.jpg"; 
bimage[4]="images/rotating/PrestonwoodHighlands100.jpg"; 
bimage[5]="images/rotating/Overlake100.jpg";
  
r_delay=r_delay*1000; 
  
function get_img(){ 
  
rnd_num=Math.floor(Math.random()*diff + min_pic);  
eval("document.images.the_banner.src=bimage[" + rnd_num + "]"); 
//remove this line if you only want the banner rotated at load 
setTimeout("get_img();",r_delay); 
} 

// -->