Menu = {timer : null, current : null};
			Menu.getStyle = function(name){
				if(document.getElementById) return document.getElementById(name).style;
				else if(document.all) return document.all[name].style;
				else if(document.layers) return document.layers[name];
			}
			Menu.show = function(name){
				if(this.timer) clearTimeout(this.timer);
				this.getStyle(name).visibility = "visible";
				this.current = name;
			}
			Menu.hide = function(){
				this.timer = setTimeout("Menu.doHide()",200);
			}
			Menu.doHide = function(){
				if(this.current){
					this.getStyle(this.current).visibility = "hidden";
					this.current = null;
				}
			}