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