document.write('8947'); document.getElementById("countnum").innerHTML=8947