var browsername    = navigator.appName;
var browserversion = navigator.userAgent;
var timer;

	function show(id)
	{
		if(browsername=="Microsoft Internet Explorer" && browserversion.indexOf("MSIE")!=-1)
		{
			clearTimeout(timer);
			//var nr_of_menus = 10;
			for(var i = 0; i < 10; ++i)
			{
				d = document.getElementById("menu" + i);
				if(d)
					d.style.display = "none";
			}

			document.getElementById("menu" + id).style.display = "block";
		}
	}

	function hide(id)
	{
		if(browsername=="Microsoft Internet Explorer" && browserversion.indexOf("MSIE")!=-1)
			document.getElementById("menu" + id).style.display = "none";
	}

	//window.onload=show;