document.getElementById('Num3847').innerHTML='1037';
document.getElementById('up3847').innerHTML='3';
document.getElementById('down3847').innerHTML='-4';