document.getElementById('Num3845').innerHTML='793';
document.getElementById('up3845').innerHTML='4';
document.getElementById('down3845').innerHTML='-3';