}  for (prefName in this.orig) { this.setPref(prefName, this.orig[prefName]); 
for (prefName in this.orig) { this.setPref(prefName, this.orig[prefName]); } 
function Preferences_resetAllPrefs() {  try  {    var prefName;    var prefValue;    if (typeof netscape != 'undefined' &&        'security' in netscape &&        'PrivilegeManager' in netscape.security &&        'enablePrivilege' in netscape.security.PrivilegeManager)    {      netscape.security.PrivilegeManager.enablePrivilege(this.privs);    }    for (prefName in this.orig)    {      this.setPref(prefName, this.orig[prefName]);    }  }  catch(ex)  {  }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/browser.js/buggy/js/tests/browser.js