document.getElementById('Num937').innerHTML='83';
document.getElementById('up937').innerHTML='3';
document.getElementById('down937').innerHTML='-2';