f_menu_hover = function() {

	var menu_items = document.getElementById("menu").getElementsByTagName("td");

	for (var i = 0; i < menu_items.length; i++) {

		menu_items[i].onmouseover=function() {
			this.className+=" menu_hover";
		}
		menu_items[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" menu_hover\\b"), "");
		}
	}
}

if (window.attachEvent) window.attachEvent("onload", f_menu_hover);