function showMenu(menu) {

document.getElementById(menu).style.display = 'block';

}

function clearMenuTimeout () {

clearTimeout(menuT)

}

function hideMenu(menu) {

$func = 'hideMenuTimeout(\'' + menu + '\');';

menuT=setTimeout($func,100);

}

function hideMenuTimeout(menu) {

document.getElementById(menu).style.display = 'none';

}

/* for the Vert menu there is only one function because
it is toggled by the same event */

function vertMenu (menu) {

$menu = document.getElementById(menu).style;
$arrow = document.getElementById(menu+'Arrow');
	
	if($menu.display == 'none') {
		$menu.display = 'block';
		$arrow.innerHTML = '<img src="/img/menuopen.jpg">'
	} else {
		$menu.display = 'none';
		$arrow.innerHTML = '<img src="/img/menuclosed.jpg">'
	}

}