<!--//--><![CDATA[//><!--
/* Check if the browser supports specific objects: */
var NS4 = (document.layers) ? 1 : 0;
var IE4 = (document.all) ? 1 : 0;

onload = start;		/* This could be on the BODY tag also. */

var num = 1;

/* start the banner function running*/
function start() {
  setInterval("update()", 9500);	/* run every 9.5 seconds*/
}

/* the update() function advances the banner, and resets the counter if it 
   has reached the last element of the array: */
function update() {
  display("banner", ar[num]);	/* invoke the function to display the text.*/
  num++;
  if (num == ar.length) num = 1;
}
/* The following function sets the content of a specific element: */
function display(id, str) {
  if (NS4) {
    with (document[id].document) {
      open();
      write(str);
      close();
    }
  } else {
    document.all[id].innerHTML = str;
  }
}
//--><!]]>