function menu_do_mouseover(nr)
{
	document.getElementById("menu_id_"+nr).style.display="table";
}
function menu_do_mouseout(nr)
{
	document.getElementById("menu_id_"+nr).style.display="none";
}