add: string = String(string); 
context: function writeHeaderToLog( string ) {  document.write( "<h2>" + string + "</h2>" );}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/83d0c13b7524ed4fb2c660fed491581c3d20142d/browser.js/buggy/js/tests/js1_3/browser.js