code: public int getLine(int pos) {
  	for (int i = 0; i < lines.length; i++) {
  	    if (pos <= lines[i].intValue()) return i + 1;
  	}
  	return lines.length;
      }
docs: Gibt zurueck in welcher Zeile die angegebene Position ist.
  
  @param pos Position von welcher die Zeile erfragt wird
  @return Zeilennummer