function replaceSelectedText(newstring) {
    var range = window.getSelection().getRangeAt(0);
    range.deleteContents();
    range.insertNode(document.createTextNode(newstring));
}