document.getElementById('Num2503').innerHTML='4316';
document.getElementById('up2503').innerHTML='17';
document.getElementById('down2503').innerHTML='-16';