document.getElementById('Num1872').innerHTML='4382';
document.getElementById('up1872').innerHTML='14';
document.getElementById('down1872').innerHTML='-17';