document.getElementById('Num1245').innerHTML='4964';
document.getElementById('up1245').innerHTML='24';
document.getElementById('down1245').innerHTML='-9';