add: gSearchBox = document.getElementById("search-box"); 
context: function Startup() {  var bookmarksView = document.getElementById("bookmarks-view");    bookmarksView.treeBoxObject.selection.select(0);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/bb3ed3ed6b331b1fe471906dd2ecce1a2077a9e6/bookmarksPanel.js/clean/browser/components/bookmarks/content/bookmarksPanel.js