nav_hilite_kop_color = '#0099FF'

function nav_menu_hilite(item) {
	item.style.backgroundColor = nav_hilite_kop_color;
	item.style.cursor='hand';
}

function nav_menu_unhilite(item,color) {
	item.style.backgroundColor = color
}