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