context: function onFinish() {  var profileName = document.getElementById("profileName").value;  var languageCode = document.getElementById("profileLanguage").getAttribute("data");  var regionCode = document.getElementById("profileRegion").getAttribute("data");  var proceed = processCreateProfileData(profileName, gProfileRoot, languageCode, regionCode);  // Error on profile creation. Don't leave the wizard so the user can correct his input.  if (!proceed)    return false;  // window.opener is false if the Create Profile Wizard was opened from the command line.  if (window.opener)    // Add new profile to the list in the Profile Manager.    window.opener.CreateProfile(profileName, gProfileRoot);  else    // Use the newly created Profile.    gProfile.currentProfile = profileName;  // Exit the wizard.  return true;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/3903d16aaab897012d3f2bab9a7069768dbd5451/createProfileWizard.js/buggy/profile/resources/content/createProfileWizard.js