document.getElementById('Num931').innerHTML='5133';
document.getElementById('up931').innerHTML='28';
document.getElementById('down931').innerHTML='-19';