// JavaScript Document
	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;
		}
	}