public static Scanner scannerForWebPage(String page) {
		try {
			String filename = page.substring(page.lastIndexOf('/')+1);
			File local = new File(filename);
			if (local.isFile()) return new Scanner(local);
			URL u = new URL(page);
			FileOutputStream save = new FileOutputStream(local);
			InputStream read = u.openStream();
			byte[] got = new byte[1024];
			int have = read.read(got);
			while (have > 0) {
				save.write(got, 0, have);
				have = read.read(got);
			}
			save.close();
			read.close();
			return new Scanner(local);
		} catch (IOException e) {
			System.err.println("ERROR reading "+page);
			e.printStackTrace();
			return null;
		}
	}