document.onselectionchange=respondSelectionchange;function respondSelectionchange() {if (document.selection.createRange().text=="") {  cutButton.disabled=true;  copyButton.disabled=true;  deleteButton.disabled=true;}else {  cutButton.disabled=false;  copyButton.disabled=false;  deleteButton.disabled=false;}if (clipboardData.getData("text")==null) {  pasteButton.disabled=true;}else {  pasteButton.disabled=false;}}function cut2Clipboard() {  focusElement.focus();  textRange=document.selection.createRange();  textRange.execCommand("Cut");}function copy2Clipboard() {  focusElement.focus();  textRange=document.selection.createRange();  textRange.execCommand("Copy");}function pasteFromClipboard() {  focusElement.focus();  document.execCommand("paste");}function deleteIt() {  focusElement.focus();  document.selection.clear();}