add: window.crypto.enableSmartCardEvents = false; document.removeEventListener("smartcard-insert", onSmartCardChange, false); document.removeEventListener("smartcard-remove", onSmartCardChange, false); 
context: function msgHdrViewSMIMEOnUnload(event){  forgetEncryptedURI();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/64606632706d5e414e34f80274db2db239d8edb4/msgHdrViewSMIMEOverlay.js/buggy/mail/extensions/smime/content/msgHdrViewSMIMEOverlay.js