// Menu Highlight

//document.write("page references: menu_highlight.js")
 		if (y != null)
 		{
		y.style.cssText = 'color: #FFFFFF; background-color: #336699; border-bottom-width: 3px; border-bottom-style: solid; border-bottom-color: #FFFFFF;';
	    }