/* 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);



//-->