add:   data = data.replace(/&#(\d+);/g, function(whole,match1) { return String.fromCharCode(+match1); });  data = data.replace(/&amp;/g,'&');  
context:   this.stop = function(){    var data = this.response;    ajax_spell.setState('start');    // replace div with textbox again    ajax_spell.textboxObj.value         = data;    ajax_spell.textboxObj.disabled      = false;    ajax_spell.showboxObj.style.display = 'none';    ajax_spell.textboxObj.style.display = 'block';    ajax_spell.editbarObj.style.visibility = 'visible';    ajax_spell.showboxObj.innerHTML     = '';  }
meta: 4676	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4676/ea2eed85b6afedcf37443a4953bade0186b9aef2/spellcheck.js/clean/lib/scripts/spellcheck.js