var searchbox = document.getElementById("searchbox"); if (searchbox.value == "") { searchbox.setAttribute("empty", "true"); searchbox.value = searchbox.getAttribute("defaultValue"); 
if (gSearchBox.value == "") { gSearchBox.setAttribute("empty", "true"); gSearchBox.value = gSearchBox.getAttribute("defaultValue"); 
function onSearchboxBlur() {  var searchbox = document.getElementById("searchbox");  if (searchbox.value == "") {    searchbox.setAttribute("empty", "true");    searchbox.value = searchbox.getAttribute("defaultValue");  }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/9a1d793ed199840168e87d4d74714e5218c22810/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js