var jsnavIndex = [0,10,20,30,40,50,60,70];function jsnavOver(a, on) {	var index = parseInt(a.id.split("jsnavLink").join(""));	var set = Math.floor(index / 10);	index = index % 10;	var img;	var imageBaseName;	for (x=set*10 + 0; x<=set*10 + 7; x++) {		img = document.getElementById("jsnavImg" + x);		if (img) {			imageBaseName = img.src.split(".png").join("").split("_on").join("");			img.src = imageBaseName + (((on && x== set*10 + index) || (!on && x==jsnavIndex[set])) ? "_on.png" : ".png");		}	}}function jsnavSelect(a) {	var index = parseInt(a.id.split("jsnavLink").join(""));	var set = Math.floor(index / 10);	jsnavIndex[set] = index;	index = index % 10;	for (x=set*10 + 0; x<=set*10 + 7; x++)		if (document.getElementById("jsnavContent" + x))			document.getElementById("jsnavContent" + x).style.display = (x == set*10 + index) ? "block" : "none";	jsnavOver(a, false);}
