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