//document.getElementById("totalpub").innerHTML="0"; document.getElementById("totalpub").innerHTML="0";