var secmodDB = Cc["@mozilla.org/security/pkcs11moduledb;1"] .getService(Ci.nsIPKCS11ModuleDB); 
var secmodDB = Cc["@mozilla.org/security/pkcs11moduledb;1"]. getService(Ci.nsIPKCS11ModuleDB); 
  _masterPasswordSet: function ()  {    const Cc = Components.classes, Ci = Components.interfaces;    var secmodDB = Cc["@mozilla.org/security/pkcs11moduledb;1"]                     .getService(Ci.nsIPKCS11ModuleDB);    var slot = secmodDB.findSlotByName("");    if (slot) {      var status = slot.status;      var hasMP = status != Ci.nsIPKCS11Slot.SLOT_UNINITIALIZED &&                  status != Ci.nsIPKCS11Slot.SLOT_READY;      return hasMP;    } else {      // XXX I have no bloody idea what this means      return false;    }  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/e7c2cecff14eb22d0533f30b298b0243d5ff0b49/security.js/buggy/browser/components/preferences/security.js