document.getElementById('Num1172').innerHTML='159';
document.getElementById('up1172').innerHTML='5';
document.getElementById('down1172').innerHTML='-5';