function showmenu(ident) {

	clearTimeout(window['menutimeout'+ident]);
	obj = document.getElementById(ident);
	obj.style.visibility = 'visible';
	obj.style.display = '';

}

function hidemenu(ident) {

	window['menutimeout'+ident] = setTimeout("hidemenu_timout('"+ident+"')", 10 );

}

function hidemenu_timout(ident) {
	obj = document.getElementById(ident);
	obj.style.visibility = 'hidden';
	obj.style.display = 'none';
}