function hightlight_menu(item) {
	menu = top.frames["menu"].document;
	links = menu.getElementsByTagName("a");
	for (i = 0; i < links.length; i++) {
		if (links[i].className == "current") links[i].className = "";
	}
	menu.getElementById("menu_" + item).getElementsByTagName("a")[0].className = "current";
}