document.getElementById('Num840').innerHTML='6265';
document.getElementById('up840').innerHTML='19';
document.getElementById('down840').innerHTML='-31';