document.getElementById('Num2517').innerHTML='6712';
document.getElementById('up2517').innerHTML='15';
document.getElementById('down2517').innerHTML='-3';