var reloading = false;

menu_hover = function() {
    return;
	var menu_elements = document.getElementByName("hoverik").getElementsByTagName("LI");

	for (var i=0; i<menu_elements.length; i++) {
		menu_elements[i].onmouseover = function() {
			s = String(this.className);
			if (s.match("menu_hover")) {
        			this.className=this.className.replace(new RegExp(" menu_hover\\b"), "");
        		
    		} else {
			    this.className+=" menu_hover";
            }
		}
	}

}