// JavaScript source code
	function markNav(objID,status) {
		var highlightColor = '#ce4142';
		var activeColor = '#000000';
		var normalColor = '#f7f7f7';
		var font = '#000000';
		//alert(objID);
		switch(status) {
			case 0:
				document.getElementById(objID).style.backgroundColor = normalColor;
                break;
			case 1:
				document.getElementById(objID).style.backgroundColor = highlightColor;
				break;
			case 2:
				document.getElementById(objID).style.backgroundColor = activeColor;
				break;
			default:
				alert('error');
				break;
			}
		}
		
