// JavaScript Document

function showMenu (id) {
	var o = document.getElementById(id);
	if (o.style.display == 'none') {
		o.style.zIndex = 1002; // seems unnecessary! but for some ie bugs
		o.style.display = 'block';


	}
}


function hilight (obj) {
	obj.setAttribute ('src', 'h_arrow.gif');
}

function delight (obj) {
	obj.setAttribute ('src', 'h_arrow.gif');
}


function hideMenu (id) {
	var o = document.getElementById(id);
	if (o.style.display != 'none') {
		o.style.display = 'none';
	}
}

function hideAllMenus ()
{
	hideMenu('fac');
	hideMenu('msc');
}