document.getElementById('Num117').innerHTML='2047';
document.getElementById('up117').innerHTML='7';
document.getElementById('down117').innerHTML='-13';