<!--
	Menu_Over = new Array();
	Menu_Out = new Array();

	function M_Over(n)
	{
		document[n].src = "/Images/" + n + "_over.gif";
	}

	function M_Out(n)
	{
		document[n].src = "/Images/" + n + "_off.gif";
	}

	function __ws__( id ) {
		document.write( id.text );
		id.id = "";
	}
//-->