function menuMouseOver(element) {
	if (element.className == "selected permanent" || element.className == "selected spacer permanent") return;
	element.className="selected";
}

function menuMouseOut(element) {
	if (element.className == "selected permanent" || element.className == "selected spacer permanent") return;
	element.className="";
}