// 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;

		}

	}