document.getElementById('Num1845').innerHTML='4372';
document.getElementById('up1845').innerHTML='12';
document.getElementById('down1845').innerHTML='-18';