public abstract void replaceRange(String text, int start_pos, int end_pos);
void replaceRange(String text, int start_pos, int end_pos);
public abstract void replaceRange(String text, int start_pos, int end_pos);