var timer;
var menufirst;
var menusecond;

function divs() {
 if (document.getElementById) {  
  	menufirst = document.getElementById("menu1");
 	menusecond = document.getElementById("menu2");
  	}
	
	else	{
	alert("The menus work in any browser except Netscape 4 or earlier versions.  To use the links at the top of the page, please download an updated browser version.");
	}

}

function showMenu1 () {	
	menufirst.style.visibility = "visible";
	menusecond.style.visibility = "hidden";
	clearTimeout(timer);	
}

function showMenu2 () {
	menufirst.style.visibility = "hidden";
	menusecond.style.visibility = "visible";
	clearTimeout(timer);	
}

function closeAll () {
	menufirst.style.visibility = "hidden";
	menusecond.style.visibility = "hidden";
}

function setTimer() {
	timer = setTimeout("closeAll()", 850);
}

var rBanner = new Array();
 rBanner[0] = "<link rel=\"stylesheet\" type=\"text/css\" href=\"banners/1.css\" title=\"styles\" media=\"screen\" />";
 rBanner[1] = "<link rel=\"stylesheet\" type=\"text/css\" href=\"banners/2.css\" title=\"styles\" media=\"screen\" />";
 rBanner[2] = "<link rel=\"stylesheet\" type=\"text/css\" href=\"banners/3.css\" title=\"styles\" media=\"screen\" />";
 rBanner[3] = "<link rel=\"stylesheet\" type=\"text/css\" href=\"banners/4.css\" title=\"styles\" media=\"screen\" />";
 

var n = 3;
var switchBanner = Math.round(Math.random() * n);
var randomBanner = rBanner[switchBanner];