function getFileBaseName(aFileName, aFileExt) 
function getFileBaseName(aFileName) 
function getFileBaseName(aFileName, aFileExt){  // Remove the file extension from aFileName:  return aFileName.replace(/\.[^.]*$/, "");}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/2c3de63a1451ea43934e9b62219ffa8be64a8aee/contentAreaUtils.js/clean/toolkit/content/contentAreaUtils.js