SetPlace(aInput);  if (!aInput) return; 
if (aInput) { if (!gSearching) {  var options = asQuery(gHistoryTree.getResult().root).queryOptions; options.setGroupingMode([], 0); gSearching = true; } } else {  SetSortingAndGrouping(); gSearching = false; } 
function searchHistory(aInput){  SetPlace(aInput);  if (!aInput)    return;  gHistoryTree.applyFilter(aInput, false /* onlyBookmarks */,                            0 /* folderRestrict */, null); }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/2a021226161f81e06aaa8f619ab1bd6970defef9/history-panel.js/buggy/browser/components/places/content/history-panel.js