document.getElementById('Num939').innerHTML='114';
document.getElementById('up939').innerHTML='3';
document.getElementById('down939').innerHTML='-9';