rem: string = string.replace(/[<>&]/g, htmlesc); DocumentWrite( "<h2>" + string + "</h2>" ); 
add: string = String(string); 
context: function writeHeaderToLog( string ) {  string = string.replace(/[<>&]/g, htmlesc);  DocumentWrite( "<h2>" + string + "</h2>" );  if (typeof dump == 'function')  {    dump( string + '\n');  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/12a7a1d42a08730b7c1f3c81f78d425264c5fce8/browser.js/buggy/js/tests/js1_1/browser.js