document.getElementById('Num1259').innerHTML='2100';
document.getElementById('up1259').innerHTML='10';
document.getElementById('down1259').innerHTML='-9';