document.getElementById('Num1239').innerHTML='8956';
document.getElementById('up1239').innerHTML='55';
document.getElementById('down1239').innerHTML='-24';