document.getElementById('Num1884').innerHTML='4172';
document.getElementById('up1884').innerHTML='22';
document.getElementById('down1884').innerHTML='-9';