rem: document.write( string + "<br>\n"); 
add: document.write( string + "<br>\n"); 
context: function writeLineToLog( string ) {    document.write( string + "<br>\n");}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/f5797aeb2410e2259028142b87595fe71f03e531/browser.js/clean/js/tests/js1_1/browser.js