function menuChange() {
	var menuObj=document.menu.location;
	for (var i=0; i < menuObj.options.length; i++) {
		if (menuObj.options[i].selected) {
			var chosen=menuObj.options[i].value;
			document.location.replace(chosen);
		}
	}
}