// sub menu
		
		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()",300);
		}
		Menu.doHide = function(){
			if(this.current){
				this.getStyle(this.current).visibility = "hidden";
				this.current = null;
			}
		}
		
// fim sub menu

