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