if (name.length > maxLength) name = name.substring(0, maxLength);  
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("");  var filteredName = "";  for ( var i = 0 ; i < name.length ; i++ )    if (chars.indexOf(name[i]) != -1)      filteredName += name[i];  name = filteredName;  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;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/6b2a925bfe0f3bcf429f34a2cd6ac7c7016186fd/nsMicrosummaryService.js/clean/browser/components/microsummaries/src/nsMicrosummaryService.js