function SwitchMenu(menuName) {
	var Menu = document.getElementById("mainlink");
	var Links = Menu.getElementsByTagName("a")
	for (var i=0; i<Links.length; i++){
		if (Links[i].innerText == menuName)	{
			Links[i].className = "current";
		} else {
			Links[i].className = "";
		}
	}

}