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