 new_text = text.substring( index_of + old_str.length );              new_text = replace_all( new_text, old_str, new_str );              text = old_text + new_str + new_text;     }     return text; }  