document.getElementById('Num1235').innerHTML='10860';
document.getElementById('up1235').innerHTML='32';
document.getElementById('down1235').innerHTML='-26';