// JavaScript Document

function show_menu(submenu_id)
{
	element = document.getElementById(submenu_id);
	element.style.visibility = 'visible';
}

function hide_menu(submenu_id)
{
	element = document.getElementById(submenu_id);
	element.style.visibility = 'hidden';
}


startList = function() {
	
	submenu1 = document.getElementById("submenu1");
	menu1 = document.getElementById("firma");

	menu1.onmouseover=function() {
		submenu1.className=" over";
	}
	menu1.onmouseout=function() {
	  submenu1.className=submenu1.className.replace(" over", "");
   }

}