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