function submenu(target) {
	var i = 1;
	while(document.getElementById("sub"+i) != null && i < 10) {
		document.getElementById("sub"+i).style.visibility = "hidden";
		i++
	}	
	if (target != "" && document.getElementById(target) != null) document.getElementById(target).style.visibility = "visible";
}

function highlight(child) {
	child.previousSibling.previousSibling.style.backgroundColor = "#acb4bf";
	child.previousSibling.previousSibling.style.color = "#3b4551";
}

function unhighlight(child) {
	child.previousSibling.previousSibling.style.backgroundColor = "";
	child.previousSibling.previousSibling.style.color = "";
}