var div = document.createElement('div'); var text = document.createTextNode(this); div.appendChild(text); return div.innerHTML; 
return this.replace(/&/g,'&amp;').replace(/</g,'&lt;').replace(/>/g,'&gt;'); 
  escapeHTML: function() {    var div = document.createElement('div');    var text = document.createTextNode(this);    div.appendChild(text);    return div.innerHTML;  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/e47dfd7529c730bdf42c17407d64892450c0dbee/prototype.js/clean/wp-includes/js/scriptaculous/prototype.js