function getSelectedText(){ return document.getSelection().toString(); }