enableExportButton.setAttribute("disabled", !enable_edit); 
enableExportButton.setAttribute("disabled", !enable_view); 
function websites_enableButtons(){  var items = serverTreeView.selection;  var count_ranges = items.getRangeCount();  var enable_delete = false;  var enable_view = false;  var enable_edit = false;  if (count_ranges > 0) {    enable_delete = true;  }  if (count_ranges == 1) {    var o1 = {};    var o2 = {};    items.getRangeAt(0, o1, o2); // the first range    if (o1.value == o2.value) {      // only a single item is selected      try {        var ti = serverTreeView.getTreeItem(o1.value);        if (ti) {          if (ti.cert) {            enable_view = true;          }          // Trust editing is not possible for override          // entries that are bound to host:port,          // where the cert is stored for convenince only.          if (!ti.hostPort.length) {            enable_edit = true;          }        }      }      catch (e) {      }    }  }  var enableViewButton=document.getElementById('websites_viewButton');  enableViewButton.setAttribute("disabled", !enable_view);  var enableEditButton=document.getElementById('websites_editButton');  enableEditButton.setAttribute("disabled", !enable_edit);  var enableExportButton=document.getElementById('websites_exportButton');  enableExportButton.setAttribute("disabled", !enable_edit);  var enableDeleteButton=document.getElementById('websites_deleteButton');  enableDeleteButton.setAttribute("disabled", !enable_delete);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/ac28d73c04aef3e1b600fa310dfc226dca81aac0/certManager.js/buggy/security/manager/pki/resources/content/certManager.js