document.getElementById('Num831').innerHTML='95';
document.getElementById('up831').innerHTML='3';
document.getElementById('down831').innerHTML='-2';