var enableExportButton=document.getElementById('email_exportButton'); enableExportButton.setAttribute("disabled",toggle); 
function email_enableButtons(){  var items = emailTreeView.selection;  var toggle="false";  if (items.getRangeCount() == 0) {    toggle="true";  }  var enableViewButton=document.getElementById('email_viewButton');  enableViewButton.setAttribute("disabled",toggle);  var enableEditButton=document.getElementById('email_editButton');  enableEditButton.setAttribute("disabled",toggle);  var enableDeleteButton=document.getElementById('email_deleteButton');  enableDeleteButton.setAttribute("disabled",toggle);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/6613df3bd1791371c80fd56d49854d460d3cfe72/certManager.js/buggy/security/manager/pki/resources/content/certManager.js