var popper = null;
	function pop(dest) {
		if (popper && popper.open) {popper.close();}
		if (dest == "map") {
			var destin = "graphics/map.gif";
		}
		else if (dest == "hours") {
			var destin = "hours.html";
		}
		popper = window.open(destin,"popMap","scrollbars=no,toolbar=0,location=0,directories=0,status=0,menubar=0,resizable=0,copyhistory=0,width=483,height=373");
		return;
	}