   for(var i=0;i<certs.length;i++) { if (certs[i]) { try { certdb.deleteCertificate(certs[i]); } catch (e) { gParams.SetString(i+1, ""); } certs[i] = null; } } 
function doOK(){  // On returning our param list will contain keys of those certs that were deleted.  // It will contain empty strings for those certs that are still alive.  for(var i=0;i<certs.length;i++)  {    if (certs[i]) {      try {        certdb.deleteCertificate(certs[i]);      }      catch (e) {        gParams.SetString(i+1, "");      }      certs[i] = null;    }  }  gParams.SetInt(1, 1); // means OK  return true;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/ad2bb22af2e45e9b6ce8b5279be50608c4603455/deletecert.js/buggy/security/manager/pki/resources/content/deletecert.js