document.getElementById("v").innerHTML="1259";