add: else {  var new_val = 0; if (enableOCSPBox.checked) {   new_val = (cacheRadio > 0) ? cacheRadio : 1; } else {  cacheRadio = OCSPPrefValue; } securityOCSPEnabled.value = OCSPPrefValue = new_val; }  certOCSP.disabled = (OCSPPrefValue == 0); proxyOCSP.disabled = (OCSPPrefValue == 0); signingCA.disabled = serviceURL.disabled = OCSPPrefValue == 0 || OCSPPrefValue == 1; requireWorkingOCSP.disabled = (OCSPPrefValue == 0); 
context: function doEnabling(){  var signersMenu = document.getElementById("signingCA");  var signersURL = document.getElementById("serviceURL");  var radiogroup = document.getElementById("securityOCSPEnabled");    switch ( radiogroup.value ) {   case "0":   case "1":    signersMenu.setAttribute("disabled", true);    signersURL.setAttribute("disabled", true);    break;   case "2":   default:    signersMenu.removeAttribute("disabled");    signersURL.removeAttribute("disabled");  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10234/146b7c014ef95a078b15023720a985cf1ad2c122/pref-validation.js/buggy/security/manager/pki/resources/content/pref-validation.js