function doEnabling() 
function doEnabling(called_by) 
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