document.getElementById('Num1139').innerHTML='123';
document.getElementById('up1139').innerHTML='5';
document.getElementById('down1139').innerHTML='-7';