tree.applyFilter(aSearchString, true, 
tree.applyFilter(aSearchString, 
function searchBookmarks(aSearchString) {  var tree = document.getElementById('bookmarks-view');  if (!aSearchString)    tree.place = tree.place;  else    tree.applyFilter(aSearchString, true,                     [PlacesUtils.bookmarksMenuFolderId,                      PlacesUtils.unfiledBookmarksFolderId,                      PlacesUtils.toolbarFolderId]);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/b7bd2974600bf178c67586f9bb752ad7c5f32c99/bookmarksPanel.js/clean/browser/components/places/content/bookmarksPanel.js