document.getElementById('Num5753').innerHTML='1249';
document.getElementById('up5753').innerHTML='13';
document.getElementById('down5753').innerHTML='-8';