function navcontrol (m, s) {
	if (s == 1) {
	document.getElementById(m + "_nav").style.backgroundColor = "#2F3A68";
	}
	else {
	document.getElementById(m + "_nav").style.backgroundColor = "transparent";
	}
}