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