// JavaScript Document

myPix = new Array("01.gif","02.gif","03.gif","04.gif","05.gif","06.gif","07.gif","08.gif","09.gif","10.gif","11.gif","12.gif","13.gif")
imgCt = myPix.length 
function choosePic() {
	if (document.images) {
		randomNum = Math.floor((Math.random() * imgCt))
		document.banner.src = myPix[randomNum]
	}
}

var bannerImg = new Array();
  // Enter the names of the images below
  bannerImg[00]="companies/01.gif";
  bannerImg[01]="companies/02.gif";
  bannerImg[02]="companies/03.gif";
  bannerImg[03]="companies/04.gif";
  bannerImg[04]="companies/05.gif";
  bannerImg[05]="companies/06.gif";
  bannerImg[06]="companies/07.gif";
  bannerImg[07]="companies/08.gif";
  bannerImg[08]="companies/09.gif";
  bannerImg[09]="companies/10.gif";
  bannerImg[10]="companies/11.gif";
  bannerImg[11]="companies/12.gif";
  bannerImg[12]="companies/13.gif";
  bannerImg[13]="companies/14.gif";
  bannerImg[14]="companies/15.gif";
  bannerImg[15]="companies/16.gif";
  bannerImg[16]="companies/17.gif";
  bannerImg[17]="companies/18.gif";

var newBanner = 0;
var totalBan = bannerImg.length;

function cycleBan() {
  //newBanner++;
  randomNum = Math.floor((Math.random() * totalBan))
  //if (newBanner == totalBan) {
  //  newBanner = 0;
  //}
  document.banner.src=bannerImg[randomNum];
  // set the time below for length of image display
  // i.e., "4*1000" is 4 seconds
  setTimeout("cycleBan()", 4*1000);
}
window.onload=cycleBan;