var searchbox = document.getElementById("searchbox"); if (searchbox.hasAttribute("empty")) { searchbox.value = ""; searchbox.removeAttribute("empty"); 
if (gSearchBox.hasAttribute("empty")) { gSearchBox.value = ""; gSearchBox.removeAttribute("empty"); 
function onSearchboxFocus() {  var searchbox = document.getElementById("searchbox");  if (searchbox.hasAttribute("empty")) {    searchbox.value = "";    searchbox.removeAttribute("empty");  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/9a1d793ed199840168e87d4d74714e5218c22810/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js