var filter = currentFilter(); if (!filter) return; var filterList = currentFilterList(); if (!filterList) return; 
var filterList = currentFilterList(); if (!filterList) return; 
function onDeleteFilter(){    var filter = currentFilter();    if (!filter) return;    var filterList = currentFilterList();    if (!filterList) return;    if (gPromptService) {      if (!gPromptService.confirm(window, null,                                  gFilterBundle.getString("deleteFilterConfirmation")))        return;    }    filterList.removeFilter(filter);    refresh();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/db2fa69d915c48a69d0b62a52066dc2673a89ba5/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js