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