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