   var tree = document.getElementById('bookmarks-view'); tree.place = "place:&folder=1&group=3&excludeQueries=1";  
function init() {  document.getElementById('search-box').focus();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/36dd86a4e0a5fb95a4581bcbf1854d46b0e29cd8/bookmarksPanel.js/clean/browser/components/places/content/bookmarksPanel.js