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