	var flag = "" 

	function divShow(divShowName) {
	Reference = eval("document.getElementById('" + divShowName + "').style")
	Reference.visibility = "visible";
	flag = divShowName
	}
	
	function divHide(divHideName) {
	Reference = eval("document.getElementById('" + divHideName + "').style")
	Reference.visibility = "hidden"
	}

	function opening() {
	divShow("milliman1");
	flag = "milliman1";
	document.getElementById('a_milliman1').style.color="#ec008c";
	}
	
	function gallo() {
	divHide(flag);
	hover="a_"+flag;
	divShow("gallo");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_gallo').style.color="#ec008c";
	}

	function gmhc() {
	divHide(flag);
	hover="a_"+flag;
	divShow("gmhc");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_gmhc').style.color="#ec008c";
	}

	function heartport() {
	divHide(flag);
	hover="a_"+flag;
	divShow("heartport");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_heartport').style.color="#ec008c";
	}

	function identities() {
	divHide(flag);
	hover="a_"+flag;
	divShow("identities");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_identities').style.color="#ec008c";
	}

	function lambda() {
	divHide(flag);
	hover="a_"+flag;
	divShow("lambda");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_lambda').style.color="#ec008c";
	}

	function milliman1() {
	divHide(flag);
	hover="a_"+flag;
	divShow("milliman1");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_milliman1').style.color="#ec008c";
	}

	function milliman2() {
	divHide(flag);
	hover="a_"+flag;
	divShow("milliman2");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_milliman2').style.color="#ec008c";
	}

	function mgalfa() {
	divHide(flag);
	hover="a_"+flag;
	divShow("mgalfa");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_mgalfa').style.color="#ec008c";
	}

	function netobjects() {
	divHide(flag);
	hover="a_"+flag;
	divShow("netobjects");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_netobjects').style.color="#ec008c";
	}

	function nonesuch() {
	divHide(flag);
	hover="a_"+flag;
	divShow("nonesuch");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_nonesuch').style.color="#ec008c";
	}

	function oracle() {
	divHide(flag);
	hover="a_"+flag;
	divShow("oracle");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_oracle').style.color="#ec008c";
	}

	function paradis() {
	divHide(flag);
	hover="a_"+flag;
	divShow("paradis");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_paradis').style.color="#ec008c";
	}

	function penguin() {
	divHide(flag);
	hover="a_"+flag;
	divShow("penguin");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_penguin').style.color="#ec008c";
	}
	
	function texaco() {
	divHide(flag);
	hover="a_"+flag;
	divShow("texaco");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_texaco').style.color="#ec008c";
	}
		
	function wb() {
	divHide(flag);
	hover="a_"+flag;
	divShow("wb");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_wb').style.color="#ec008c";
	}
		
	function about() {
	divHide(flag);
	hover="a_"+flag;
	divShow("about");
	document.getElementById(hover).style.color="#9fa1a4";
	document.getElementById('a_about').style.color="#ec008c";
	}

	