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