//display/hide an HTML element.
function displayDivBox(divBox,icon) {	
	var divBox = document.getElementById(divBox);	
	if(divBox.style.display == "block") {
		divBox.style.display = "none";
		document.getElementById(icon).innerHTML = '[+] '
		} else {
			divBox.style.display = "block";
			document.getElementById(icon).innerHTML = '[-] '
		}
	}
	
	
function setView(showDiv,sign) {
	var showNav = document.getElementById(showDiv);
		showNav.style.display = "block";	
		document.getElementById(sign).innerHTML = "[-] ";
			
	}