void createImage(String type_name) { // or script now
		if (type_name == null)
			return;
		if (type_name.length() == 0)
			type_name = "JPG:jmol.jpg";
		int i = type_name.indexOf(":");
		if (i < 0) {
			i = type_name.length();
			type_name += ":jmol.jpg";
		}
		String type = type_name.substring(0, i);
		String file = type_name.substring(i + 1);
		createImage(file, type, 100);
	}