add:  if (typeof dump == 'function') { dump( string + '\n'); } 
context: function writeLineToLog( string ) {  string = String(string);  string = string.replace(/[<>&]/g, htmlesc);  DocumentWrite( string + "<br>\n");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/0da0968ed75d0df719de6790a6e970a1b3855874/browser.js/clean/js/tests/js1_2/browser.js