<!-- //
function navOver(img) {
	document.images[img].src="images/nav_"+img+"_on.gif";
	}

function navOut(img) {
	document.images[img].src="images/nav_"+img+".gif";
	}
 // -->