var menubg;
function highlight(elem,on)
{
	menubg = elem.style.backgroundColor;
	if (on)
	{
		elem.style.backgroundColor = "#33CCFF";
		window.status = elem.innerText + "  " + elem.href;
		// window.alert("Link text: " + elem.innerText);
	}
	else
		elem.style.backgroundColor = "#000569";
}