document.getElementById('Num1172').innerHTML='126';
document.getElementById('up1172').innerHTML='4';
document.getElementById('down1172').innerHTML='-4';