enableViewButton.setAttribute("disabled",toggle); 
enableViewButton.setAttribute("disabled", !enable_view); 
function websites_enableButtons(){  var items = serverTreeView.selection;  var toggle="false";  if (items.getRangeCount() == 0) {    toggle="true";  }  var enableViewButton=document.getElementById('websites_viewButton');  enableViewButton.setAttribute("disabled",toggle);  var enableEditButton=document.getElementById('websites_editButton');  enableEditButton.setAttribute("disabled",toggle);  var enableExportButton=document.getElementById('websites_exportButton');  enableExportButton.setAttribute("disabled",toggle);  var enableDeleteButton=document.getElementById('websites_deleteButton');  enableDeleteButton.setAttribute("disabled",toggle);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/ad2bb22af2e45e9b6ce8b5279be50608c4603455/certManager.js/buggy/security/manager/pki/resources/content/certManager.js