document.getElementById('Num1876').innerHTML='4240';
document.getElementById('up1876').innerHTML='10';
document.getElementById('down1876').innerHTML='-9';