<!--
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()",100);
}
Menu.doHide = function(){
	if(this.current){
		this.getStyle(this.current).visibility = "hidden";
		this.current = null;
	}
}
SubMenu = {timer : null, current : null};

SubMenu.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];

}

SubMenu.show = function(name){

        if(this.timer) clearTimeout(this.timer);

        this.getStyle(name).visibility = "visible";

        this.current = name;

}

SubMenu.hide = function(){

        this.timer = setTimeout("SubMenu.doHide()",100);

}

SubMenu.doHide = function(){

        if(this.current){

                this.getStyle(this.current).visibility = "hidden";

                this.current = null;

        }

}
// -->