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