document.getElementById('Num2513').innerHTML='15840';
document.getElementById('up2513').innerHTML='40';
document.getElementById('down2513').innerHTML='-27';