document.getElementById('Num1137').innerHTML='119';
document.getElementById('up1137').innerHTML='3';
document.getElementById('down1137').innerHTML='-7';