document.getElementById('Num1137').innerHTML='164';
document.getElementById('up1137').innerHTML='4';
document.getElementById('down1137').innerHTML='-8';