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