return txt.escapeHTML().replace(/\n/g,"<br />"); 
return txt.escapeHTML().replace(/\n/g,"<br/>"); 
  _toHTML: function(txt) {    return txt.escapeHTML().replace(/\n/g,"<br />");  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/unittest.js/clean/wp-includes/js/scriptaculous/unittest.js