document.getElementById('Num2531').innerHTML='3789';
document.getElementById('up2531').innerHTML='34';
document.getElementById('down2531').innerHTML='-8';