function swapMenu(id,state){
	var div = document.getElementById("menu_" + id);
	div.className = "menu_" + id + "_" + state;
}

function gotoPage(location){
	window.location = location;
}