var r_div=document.getElementById("readnum"); r_div.innerHTML="1713";