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