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