function getNYSBannerPics() 
  { 
	// This function loads up an array of random image names and insures that images don\'t repeat
	// It then evaluates 
	// IMPORTANT - provide the name where of the folder where you put the banner pictures!

		folderName = "/images/nysbannerpics";            // sub folder name where banner pictures live (pool)	
		numberOfBannerPics = 4;                         // how many pictures in banner
		aBannerPics=new Array(numberOfBannerPics);      // this will store the 4 randomized images
		numberOfAvailablePics = 50;                     // how many pictures available in picture pool
		cnt = 0;                                        // keep count of selected graphics
		while (cnt < numberOfBannerPics) 
			{               
			rnd= Math.round(Math.random()*(numberOfAvailablePics - 1));     // get a random number between 0 and number of pics minus 1
			picExists = false;                                              // initialize pic found boolean
			for (ii=0;ii<cnt;ii++) 
			{			                                        // scan array to see if picture exists
				if (aBannerPics[ii] == rnd) 
				{                           
					picExists = true;
				}
			}
			if (!picExists) 
			{ 									
				aBannerPics[cnt] = rnd;          // assign random number
				picNum = cnt + 1;		 // offset picture number by 1 so names are in 1,2,3,4 sequence 
				img = eval(document.getElementById("nysbannerpic" + picNum));  // create handle to image tag
				if (typeof img == "object") 
				{
					img.src = folderName + "/" + rnd + ".gif";             // assign graphic to image source
				}
				cnt++;
			}
		}
  }

menu_hover = function() {
	if (document.all&&document.getElementById) {
	var menu = document.getElementById("nav").getElementsByTagName("LI");
	for (var i=0; i<menu.length; i++) 
	{
		menu[i].onmouseover=function() 
		{
			this.className+="hover";
		}
		menu[i].onmouseout=function() 
		{
			this.className=this.className.replace(new RegExp("hover\\b"), "");
		}
	}
}
}
window.attachEvent("onload", menu_hover);

