

<!-- main menu rollover ---------------------------------------------------

// Showing and hiding menus

function show(id) {
	if (document.all) {
		document.all['menu'+id].style.visibility='visible';
	} else {
		document.layers['menu'+id].visibility='visible';
	}
}
function hide(id) {
	if (document.all) {
		document.all['menu'+id].style.visibility='hidden';
	} else {
		document.layers['menu'+id].visibility='hidden';
	}
}
function hideall(id) {
	hide(1);
	hide(2);
	hide(3);
	hide(4);
}