function htmlesc(str) { if (str == '<') return '&lt;'; if (str == '>') return '&gt;'; if (str == '&') return '&amp;'; return str; 
function htmlesc(str) { if (str == '<') return '&lt;'; if (str == '>') return '&gt;'; if (str == '&') return '&amp;'; return str; 
function htmlesc(str) {   if (str == '<')     return '&lt;';   if (str == '>')     return '&gt;';   if (str == '&')     return '&amp;';   return str; }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/browser.js/buggy/js/tests/browser.js