add: if (name.length > maxLength) name = name.substring(0, maxLength);  
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    var cl = chars.length - 1;    for (var i = 0; i < 8; ++i)      name += chars.charAt(Math.round(Math.random() * cl));  }  return name;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/88413cff0064c64237b49e2fa3293805001bac5b/nsSearchService.js/clean/browser/components/search/nsSearchService.js