/*naviscript till IE works with hover*/


var oldID = "";
	function menu(id)
     	{if (document.getElementById(id))
          	{
	          if( oldID != id )
	          {
	               document.getElementById(id).style.visibility='visible';
                }

			else
          	{
	               oldID = id;
	          }
          	if( oldID != "" && oldID != id )
	               oldID.style.visibility='hidden';
	          if (document.getElementById(id)) {document.getElementById(id).style.display='block';}
			}
          }
	function hideMenu(id)
          {if (document.getElementById(id))
               {
                 document.getElementById(id).style.visibility='hidden';
                 document.getElementById(id).style.display='none';
                }
          }