rem: name += chars.charAt(Math.round(Math.random() * (chars.length - 1))); 
add: name += chars.charAt(Math.round(Math.random() * cl)); 
context: function sanitizeName(aName) {  const chars = "-abcdefghijklmnopqrstuvwxyz0123456789";  var name = aName.toLowerCase();  name = name.replace(/ /g, "-");  name = name.split("").filter(function (el) {                                 return chars.indexOf(el) != -1;                               }).join("");  if (!name) {    // Our input had no valid characters - use a random name    for (var i = 0; i < 8; ++i)      name += chars.charAt(Math.round(Math.random() * (chars.length - 1)));  }  return name;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a1eed4f5eb9797ac5a955b2ead9575935d1deb6d/nsSearchService.js/clean/browser/components/search/nsSearchService.js