document.selection.text = document.selection.text.replace(/&#([0-9]{1,6});/g,function (b,c){return String.fromCharCode(c)})