function changenav(divID) {
	document.getElementById(divID).style.backgroundImage = "url('images/navi_highlight_bg.gif')";
}
function changeback(divID) {
	document.getElementById(divID).style.backgroundImage = "url('images/navi_bg.gif')";
}