rem: var asciiBytes = aBytes.filter(function (n) {return !(0x80 & n);}); 
add: name = name.split("").filter(function (el) { return chars.indexOf(el) != -1; }).join(""); 
context:   var asciiBytes = aBytes.filter(function (n) {return !(0x80 & n);});
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5828ec64ba17fe405f0d5504ddc37c9c1c1c3e75/nsSearchService.js/buggy/browser/components/search/nsSearchService.js