document.getElementById('Num987').innerHTML='12940';
document.getElementById('up987').innerHTML='42';
document.getElementById('down987').innerHTML='-46';