function js_einekommastelle( zahl ) {
	// Eine Zahl wird genau auf eine Kommastelle abgeschnitten
	var	str, nks;

	zahl += 0.05;
	str = Math.floor( zahl ) + ".";
	nks = Math.floor( (zahl - Math.floor( zahl )) * 10 );
	str += nks;
	return str;
}

function js_replace(strin, repl, agai) {
	
	var source = strin, fertig = 0, target = "", souerl = 0;
	
	//Ersetzen von Platzhaltern
	if (repl == "(ENTER)") repl = String.fromCharCode(13);
	if (agai == "(ENTER)") agai = String.fromCharCode(13);
	//Eigentliche Funktion
	do {
		erg = source.indexOf(repl, souerl);
		if (erg != -1) {	//occurance gefunden
			//Die nicht betroffen Characters bis zur nächsten Stelle kopieren
			target += source.substring(souerl, erg);
			souerl = erg;
			//Jetzt den betroffenen Teil austauschen
			target += agai;
			souerl += repl.length;
		} else {			//Keine occurance mehr, Rest kopieren
			target += source.substring(souerl, source.length);
			fertig = 1;
		}
	} while (fertig == 0);
	return target;
}

function js_rtrim( str ) {
	
	var		l, e, ende;

	// Leerzeichen und Tabulatoren am Ende des Strings werden weggeschnitten.
	
	ende = 0;
	strcopy = str;
	while ( ende == 0 ) {
		l = str.length;
		if (strcopy == "  ") { alert( "l = " + l ); }
		if (l < 2) {
			ende = 1;
		} else {
			e = str.substr( l - 1, 1 );
			if ( (e == " ") || (e == "	") ) {
				str = str.substr( 0, l - 1 );
			} else {
				ende = 1;
			}
		}
	}
	return str;
}		

function js_stringsplit(str,nr,trennz) {

	// Schneidet durch ein Trennzeichen definierte Substrings aus einem String.
	// Beispiel 1: strichpunkttrenner("Eins#Zwei##Vier", 1, "#") = "Eins"
	// Beispiel 2: strichpunkttrenner("Eins#Zwei##Vier", 2, "#") = "Zwei"
	// Beispiel 3: strichpunkttrenner("Eins#Zwei##Vier", 3, "#") = ""
	// Beispiel 4: strichpunkttrenner("Eins#Zwei##Vier", 4, "#") = "Vier"
	// Beispiel 5: strichpunkttrenner("Eins#Zwei##Vier", 5, "#") = "<ENDE>"
	
	var suchpos = 0, suchnr = 1, string_ = str, pos, erg, x;
	string_ += trennz;
	while (suchnr < nr) {
		x = string_.indexOf(trennz, suchpos) + trennz.length;
		if (x > 0) suchpos = x;
		suchnr++;
	}
	pos = string_.indexOf(trennz, suchpos);
	if (pos == -1) {
		erg = "<ENDE>";
	} else {
		erg = string_.substring(suchpos, pos);
	}
	return erg;
}

function js_test() {

	alert( "js_lib1.js works" );
}

function js_time(sekunden) {
	
	return js_time_short(sekunden);
}

function js_time_long(sekunden) {
	
	// Formatiert einen Sekundenwert in das Format: hh:mm:ss
	
	var		stund, minut, sekun, zeit;
	
	sekun = sekunden;
	
	stund = Math.floor(sekun / 3600);
	sekun -= stund * 3600;
	minut = Math.floor(sekun / 60);
	sekun -= minut * 60;
	zeit = ""; if (stund < 10) zeit += "0";
	zeit += stund + ":"; if (minut < 10) zeit += "0";
	zeit += minut + ":"; if (sekun < 10) zeit += "0";
	zeit += sekun;
	
	return zeit;
}

function js_time_short(sekunden) {
	
	// Formatiert einen Sekundenwert in das Format: (m)m:ss
	
	var		minut, sekun, zeit;
	
	sekun = sekunden;
	
	minut = Math.floor(sekun / 60);
	sekun -= minut * 60;
	zeit = "";
	zeit += minut + ":"; if (sekun < 10) zeit += "0";
	zeit += sekun;
	
	return zeit;
}

//function js_fixstell(wert, kommastellen) {
//	
//	//Es wird ein String zurückgegeben, der die Variable 
//	//"wert" mit genau "kommastellen" formatiert, enthält.
//	
//	var		res, i, ok = 0, l;
//	
//	res = "" + wert;
//	Stellen rechts vom Komma ermitteln
//	while (ok == 0) {
//		i = res.indexOf(".")
//		if (i > 0) {
//			l = ((res.length - i) - 1);
//			if (l < kommastellen) {
//				res += "0";
//			} else if (l > kommastellen) {
//				res = res.substr(0, kommastellen);
//			} else {
//				ok = 1;
//			}
//		} else {
//			res += ".";		
//		}
//	}
//	return res;
//}