public String readLine() {
		System.out.flush();
		String line = "";
		int ch;
		try {
			while (true) {
				if (inputScript == null) {
					ch = System.in.read();
				} else {
					ch = inputScript.read();
				}
				if (ch == -1 && line.length() == 0) {
					try {
						inputScript.close();
					} catch (IOException ex) {
						/* Empty */
					}
					inputScript = null;
				} else {
					if (ch == -1 || ch == '\n') break;
					line += (char) ch;
				}
			}
		} catch (IOException ex) {
			/* Empty */
		}
		if (inputScript != null) print(line + "\n", INPUT_STYLE);
		return line;
	}