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