// JavaScript Document

<!--
		function expand(which){
			m=document.getElementById("menu");
			trig=m.getElementsByTagName("div").item(which).style.display;
			t=m.getElementsByTagName("dd").item(which);
			h=t.getElementsByTagName("a").item(0).firstChild;
			if (trig=="block") trig="none";
			else if (trig=="" || trig=="none") trig="block";
			
			m.getElementsByTagName("div").item(which).style.display=trig;
		} 
     //-->