var menudivText = "Home";

function swapMenuText(elem) {
	document.getElementById("menudiv").innerHTML= elem.innerHTML;
}

function restoreMenuText() {
	document.getElementById("menudiv").innerHTML= menudivText;
}

function setMenuText(elem) {
	menudivText=elem.innerHTML;
}

function linkTo(linkname) {
	document.location.href=linkname;
}