add: gSearchBox = document.getElementById("search-box"); 
context: function HistoryWindowInit(){    HistoryCommonInit();    gHistoryTree.focus();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/df936da116fc530b1b1a06901ebf372217877c1b/history.js/clean/browser/components/history/content/history.js