document.getElementById('Num2488').innerHTML='8523';
document.getElementById('up2488').innerHTML='10';
document.getElementById('down2488').innerHTML='-8';