totalHits_html = "1237";
document.getElementById("totalHits").innerHTML = totalHits_html;