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"); 
var signingCA = document.getElementById("signingCA"); var serviceURL = document.getElementById("serviceURL"); var securityOCSPEnabled = document.getElementById("securityOCSPEnabled"); var requireWorkingOCSP = document.getElementById("requireWorkingOCSP"); var enableOCSPBox = document.getElementById("enableOCSPBox"); var certOCSP = document.getElementById("certOCSP"); var proxyOCSP = document.getElementById("proxyOCSP");  var OCSPPrefValue = parseInt(securityOCSPEnabled.value);  if (called_by == 0) {  enableOCSPBox.checked = (OCSPPrefValue != 0); 
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");  }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/146b7c014ef95a078b15023720a985cf1ad2c122/pref-validation.js/clean/security/manager/pki/resources/content/pref-validation.js