<!--

function chgDiv(name,action) {
	// First clear all of the existing menus
	clearAll();

	//Now do what the user asked
	if (action == "show") {
		var option = "visible";
	} else {
		var option = "hidden";
	}
	makeChange(name,option);
}

function clearAll() {
	var menuArray = new Array("spec", "crew", "phot", "hist", "cert", "misc", "sked") ;
	var items = menuArray.length;
	// document.write("Array length is " + items + "<BR>");
	for (var index = 0; index < items; index++) { makeChange(menuArray[index],"hidden"); } 
}

var my_timeout;

function makeChange(name,option) {
	if (option == "visible") { 
		clearTimeout(my_timeout);
		my_timeout = setTimeout("clearAll();", 10000);
	}
	if (document.getElementById) {
		document.getElementById(name).style.visibility=option
	} else if (document.layers) {
		document.layers[name].visibility=option
	} else if (document.all) {
		document.all(name).style.visibility=option
	} else {
		alert("Sorry, this only works in 4.0 or later browsers");
		return;
	}
}

function chgBgColor(obj, color) { 
	/*document.writeln("The object is "+obj);*/
	obj.style.backgroundColor=color;
}
-->