oom.getPan().x - ele.clientWidth / 2) / rzoom;
					coord.curr[1] = (panzoom.getPan().y - ele.clientHeight / 2) / rzoom;
					loadDev();
					env.curr = "DEV";
				} else if (env.curr == "DEV") {
					ele = document.getElementById("svg8");
					rzoom = panzoom.getSizes().realZoom;
					coord.curr[2] = panzoom.getZoom();
					coord.curr[0] = (panzoom.getPan().x - ele.clientWidth / 2) / rzoom;
					coord.curr[1] = (panzoom.getPan().y - ele.clientHeight / 2) / rzoom;
					loadProd();
					env.curr =