document.getElementById('Num1235').innerHTML='10769';
document.getElementById('up1235').innerHTML='31';
document.getElementById('down1235').innerHTML='-25';