html+="<div>"+searchresult.length+" results from a total of "+totalResults+" docs in index (not showing offline resources); search time: " +((newDate()).getTime()-start.getTime())+" milliseconds. ";
html+="<div>"+searchresult.length+" results from a total of "+totalResults+" docs in index; search time: " +((newDate()).getTime()-start.getTime())+" milliseconds. ";