<!--
function navstate(state) {
	document.images.leftnav.src='/images/navi_f' + state + '.png';
}
-->