// DIV-MENU PLUS
function DivMenu(ref) {
	var links = ref.parentNode.parentNode.getElementsByTagName("a");
	var active = ref.getAttribute("href");
	if (active) {
		active = active.substring(active.lastIndexOf("/")+1, active.length);
		ref.title = active;
	} else {
		active = ref.title;
	}

	var divs = document.getElementById("links").getElementsByTagName("div");
	for (var i = 0; i < divs.length; i++) {
		divs[i].style.display = "none";
		
		if (divs[i].id == active) {
			divs[i].style.display = "block";
		}
	}

	ref.removeAttribute("href");
	ref.onmouseout = restoreLink;

	function restoreLink() {
		ref.setAttribute("href", ref.title);
	}
}