  aFile = aFile.replace(/^\.+/, ""); 
function getNormalizedLeafName(aFile, aDefaultExtension){  if (!aDefaultExtension)    return aFile;#ifdef XP_WIN  // Remove trailing dots and spaces on windows  aFile = aFile.replace(/[\s.]+$/, "");#endif        // Fix up the file name we're saving to to include the default extension  var i = aFile.lastIndexOf(".");  if (aFile.substr(i + 1) != aDefaultExtension)    return aFile + "." + aDefaultExtension;  return aFile;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/87da89bad6ee60c5044d80e5ef1296ef7711ea80/contentAreaUtils.js/clean/toolkit/content/contentAreaUtils.js