setup_menu = function()
{
	var menu_items = document.getElementById("menu").getElementsByTagName("li");
	
	for (i = 0; i < menu_items.length; i++)
	{
		menu_items[i].onmouseover = function()
		{
			this.className += "_highlight";
		}
		
		menu_items[i].onmouseout = function()
		{
			this.className = this.className.replace("_highlight", "");
		}
	}
}

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