document.getElementById("art_hits").innerHTML="1019";