document.getElementById('Num1142').innerHTML='143';
document.getElementById('up1142').innerHTML='9';
document.getElementById('down1142').innerHTML='-4';