document.getElementById('Num1854').innerHTML='4513';
document.getElementById('up1854').innerHTML='13';
document.getElementById('down1854').innerHTML='-7';