document.getElementById('Num1141').innerHTML='135';
document.getElementById('up1141').innerHTML='3';
document.getElementById('down1141').innerHTML='-12';