add: var i; 
context: function disableIfLocked( prefstrArray ){  for (i=0; i<prefstrArray.length; i++) {    var id = prefstrArray[i].id;    var element = document.getElementById(id);    if (gSmimePrefbranch.prefIsLocked(prefstrArray[i].prefstring)) {      // If encryption choices radio group is locked, make sure the individual       // choices in the group are locked. Set a global (gEncryptionChoicesLocked)       // indicating the status so that locking can be maintained further.      if (id == "encryptionChoices") {        document.getElementById("encrypt_mail_never").setAttribute("disabled", "true");        document.getElementById("encrypt_mail_always").setAttribute("disabled", "true");        gEncryptionChoicesLocked = true;      }      // If option to sign mail is locked (with true/false set in config file), disable      // the corresponding checkbox and set a global (gSigningChoicesLocked) in order to      // honor the locking as user changes other elements on the panel.       if (id == "identity.sign_mail") {        document.getElementById("identity.sign_mail").setAttribute("disabled", "true");        gSigningChoicesLocked = true;      }      else {        element.setAttribute("disabled", "true");      }    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a19bf9fc491beeb7e84ad3dade5c7158bd17f430/am-smime.js/buggy/mailnews/extensions/smime/resources/content/am-smime.js