if(dlb)dlb.innerHTML="<input type=\"button\" value=\"create a download script\" onClick=\"makeDownloadScript();\"/>";
}
functionresultStart(){
functionresultNavigation(){
varhtml="";
if(totalResults>0){
html+="<div>"+searchresult.length+" results from a total of "+totalResults+" docs in index; search time: "+((newDate()).getTime()-start.getTime())+" milliseconds. ";