String getLine() {
		int ichBegin = lineIndices[pc];
		int ichEnd;
		if ((ichEnd = script.indexOf('\r', ichBegin)) == -1 && (ichEnd = script.indexOf('\n', ichBegin)) == -1)
			ichEnd = script.length();
		return script.substring(ichBegin, ichEnd);

	}