document.getElementById('Num1873').innerHTML='3847';
document.getElementById('up1873').innerHTML='25';
document.getElementById('down1873').innerHTML='-5';