var DEBUG=false,boxHeight=0,editing=false;function clearPrompt(){if(searchprompt){searchprompt=false;$("searchbox").value="";$("searchbox").style.color="black"}};