rem: if (gProfileRoot.leafName == gOldProfileName) { gProfileRoot.leafName = aNewName; 
add: var re = new RegExp("^[a-z0-9]{8}\\." + gOldProfileName.replace(/[|^$()\[\]{}\\+?.*]/g, "\\$&") + '$');  if (re.test(gProfileRoot.leafName)) { gProfileRoot.leafName = saltName(aNewName); 
context: function updateProfileName(aNewName) {  checkCurrentInput(aNewName);  if (gProfileRoot.leafName == gOldProfileName) {    gProfileRoot.leafName = aNewName;    updateProfileDisplay();  }  gOldProfileName = aNewName;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a4f9fd3dbf24e55cb6431147f83724fb3463ddb4/createProfileWizard.js/buggy/toolkit/profile/content/createProfileWizard.js