_updateUI: function () 
_updateUI: function (called_by) 
  _updateUI: function ()  {    var signingCA = document.getElementById("security.OCSP.signingCA");    var serviceURL = document.getElementById("security.OCSP.URL");    var securityOCSPEnabled = document.getElementById("security.OCSP.enabled");    var OCSPEnabled = parseInt(securityOCSPEnabled.value);    signingCA.disabled = serviceURL.disabled = OCSPEnabled == 0 || OCSPEnabled == 1;    return undefined;  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/146b7c014ef95a078b15023720a985cf1ad2c122/ocsp.js/clean/toolkit/mozapps/preferences/ocsp.js