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