document.getElementById('Num1142').innerHTML='234';
document.getElementById('up1142').innerHTML='11';
document.getElementById('down1142').innerHTML='-6';