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