private void save(prRegion pr) {
		File f = new File(plugin.getDataFolder(), "saves/" +pr.getWorld() + "/" + pr.getName()+".fr");
		if (!f.exists()) {
			f.getParentFile().mkdirs();
			try {
				f.createNewFile();
			} catch (Exception e) {}
		}
		try {
			GZIPOutputStream gzipo = new GZIPOutputStream(new FileOutputStream(f));
			DataOutputStream out = new DataOutputStream(gzipo);
			pr.save(out);
			out.close();
			gzipo.close();
		} catch (Exception e) {}
	}