function setMenu() {
	var sec = s;
	if (sec) {
		var obj = document.getElementById('nav_'+sec).style;
		if (obj) {
			obj.color = '#7ACB2A';
			obj.textDecorationUnderline = false;
		}
	}
}

window.onload = function() {
	setMenu();
}