//	Copyright (c) 1999 M.Inamori,All rights reserved.
//	Coded 7/27/99
//
//	replace(str, searchText, replaceText)
//
//	StringオブジェクトstrからsearchTextを探し出して
//	それをreplaceTextに置き換えます。
//	strの先頭から検索して置き換えていきます。
//	複数回置き換える場合は、まず置き換えて、
//	置き換えた直後の文字から検索します。

function replace(str, searchText, replaceText) {
	var pos = 0;
	var len1 = searchText.length;
	var len2 = replaceText.length;
	
	while((pos = str.indexOf(searchText, pos)) != -1) {
		str = str.substring(0, pos) + replaceText
				+ str.substring(pos + len1, str.length);
		pos += len2;
	}
	
	return str;
}