// JavaScript Document// highlighted link
var lastHighlighted;
function highlightNavi(linkid) {

	if(lastHighlighted) {
		document.getElementById(lastHighlighted).className="navi";
	}
	document.getElementById(linkid).className="navi active";
	lastHighlighted = linkid;
}