document.getElementById('Num1140').innerHTML='123';
document.getElementById('up1140').innerHTML='12';
document.getElementById('down1140').innerHTML='-9';