document.getElementById('Num2537').innerHTML='8431';
document.getElementById('up2537').innerHTML='23';
document.getElementById('down2537').innerHTML='-24';