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