var searchbox = document.getElementById("searchbox"); searchbox.focus(); searchbox.select(); 
gSearchBox.focus(); gSearchBox.select(); 
function setSearchboxFocus(){  var searchbox = document.getElementById("searchbox");  searchbox.focus();  searchbox.select();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/9a1d793ed199840168e87d4d74714e5218c22810/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js