document.getElementById('Num1731').innerHTML='4525';
document.getElementById('up1731').innerHTML='47';
document.getElementById('down1731').innerHTML='-117';