document.getElementById('Num1241').innerHTML='6160';
document.getElementById('up1241').innerHTML='13';
document.getElementById('down1241').innerHTML='-17';