/* JAVA SCRIPT for Banner Image Revolving  */
<!--

//var urlArray = new Array(0); //for URL's, increase size as necessary
var banArray = new Array(3); //for banners, increase size as necessary
var counter = 1;
//var url = "Contacts.htm"; //initial URL
 
//add your necessary URL's
//urlArray[4] = "propDetailsBan.php?feature=HOME";
//urlArray[5] = "propDetailsBan.php?feature=CONDO";
//urlArray[6] = "rentDetailsBan.php?feature=RENTAL&catg_id=3";
// urlArray[3] = "Contacts.htm";

if(document.images) //pre-load all banner images
{
  for(i = 0; i < 6; i++)    //for banners, increase size as necessary
  {
    banArray[i] = new Image(500, 120);
    banArray[i].src = "images/ClairwoodBanner" + (i+1) + ".jpg";
  }
}

function changeBanner() //banner changer function
{
  if(counter > 5)     //for banners, increase size as necessary
   counter = 0;

  document.banner.src = banArray[counter].src; //sets a new banner

//  url = urlArray[counter]; //sets a new URL to the banner
  counter++; //increase the counter for the next banner
}

//calls the changeBanner() function every 3 seconds
//change the timer as necessary (minutes * 60000) or (seconds * 1000)
var timer = window.setInterval("changeBanner()", 5000);

//-->