var button = document.getElementById("changeMasterPassword"); button.disabled = noMP; 
  _initMasterPasswordUI: function ()  {    var noMP = !this._masterPasswordSet();    //var button = document.getElementById("changeMasterPassword");    //button.disabled = noMP;    var checkbox = document.getElementById("useMasterPassword");    checkbox.checked = !noMP;  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/d30bd593f72f099cf7736a11485309a0c1a9a1e3/security.js/clean/browser/components/preferences/security.js