rem: function SuchenUndErsetzen(QuellText, SuchText, ErsatzText) { 
add: function SuchenUndErsetzen(QuellText, SuchText, ErsatzText) { 
context: 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;}
meta: 9569	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9569/d7b1065a059ebddf68a5cac8635f5e175565e3bf/editor.js/clean/viscacha/templates/editor.js