add: string = String(string); string = string.replace(/[<>&]/g, htmlesc); 
context: function writeLineToLog( string ) {  document.write( string + "<br>\n");}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/83d0c13b7524ed4fb2c660fed491581c3d20142d/browser.js/clean/js/tests/ecma_2/browser.js