rem: document.write( string + "<br>\n"); 
add: DocumentWrite( string + "<br>\n"); 
context: function writeLineToLog( string ) {  string = String(string);  string = string.replace(/[<>&]/g, htmlesc);  document.write( string + "<br>\n");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/ff0e8dc4a3264f36580fef69058424c186b05adc/browser.js/buggy/js/tests/js1_4/browser.js