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;  },
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/504ddcbe796d50bebfce56e8823e38e30e0e7aeb/prototype.js/buggy/wp-includes/js/scriptaculous/prototype.js