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