function naviSwitch(menu) {
	if (menu.parentNode.className == "closed") {
		menu.parentNode.className = "open";
	} else {
		menu.parentNode.className = "closed";
	}
}



String.prototype.replaceAll = function(pattern, replacement) {
	return this.split(pattern).join(replacement);
}

function extraSwitch(menu) {
	if (menu.parentNode.className == "closed") {
		menu.parentNode.className = "open";
		menu.innerHTML=menu.innerHTML.replaceAll("[+]", "[-]");
	} else {
		menu.parentNode.className = "closed";
		menu.innerHTML=menu.innerHTML.replaceAll("[-]", "[+]");
	}
}