// JavaScript Document
function menu_highlight (menu_index, highlight) {
	if (highlight) {
		findDOM("menu_td1" + menu_index, 0).className = "menu_td1h";
		findDOM("menu_td2" + menu_index, 0).className = "menu_td2h";
		findDOM("menu_a" + menu_index, 0).className = "menu_texth";
	} else {
		findDOM("menu_td1" + menu_index, 0).className = "menu_td1";
		findDOM("menu_td2" + menu_index, 0).className = "menu_td2";
		findDOM("menu_a" + menu_index, 0).className = "menu_text";
	}
}