<!--
var ID = 0;
   function hide_menu_all()
   {
    hide_menu('service');
   }
   
   function hide_menu(submenu)
   {
    document.getElementById('submenu_'+submenu).style.visibility = 'hidden';
   }
   
   function menu(submenu)
   {
    stopTimeout();
    hide_menu_all();
    document.getElementById('submenu_'+submenu).style.visibility = 'visible';
   }
  
	 function startTimeout()
	{
		ID = setTimeout("hide_menu('service')", 1000);
	}
	
	function stopTimeout()
	{
		clearTimeout (ID);
	}
//-->