function SuchenUndErsetzen(QuellText, SuchText, ErsatzText) { 
function SuchenUndErsetzen(QuellText, SuchText, ErsatzText) { 
function SuchenUndErsetzen(QuellText, SuchText, ErsatzText) {   // (c) Ralf Pfeifer, http://www.arstechnica.de/computer/JavaScript/JS11_01.html	if ((QuellText == null) || (SuchText == null))			 { return null; }	if ((QuellText.length == 0) || (SuchText.length == 0))   { return QuellText; }	if ((ErsatzText == null) || (ErsatzText.length == 0))	 { ErsatzText = ""; }	var LaengeSuchText = SuchText.length;	var LaengeErsatzText = ErsatzText.length;	var Pos = QuellText.indexOf(SuchText, 0);	while (Pos >= 0) {		QuellText = QuellText.substring(0, Pos) + ErsatzText + QuellText.substring(Pos + LaengeSuchText);		Pos = QuellText.indexOf(SuchText, Pos + LaengeErsatzText);	}	return QuellText;}
9569	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9569/feb79a266837befd93952d51210dec25e498c0d6/editor.js/clean/viscacha08/admin/html/editor.js