document.getElementById('Num1715').innerHTML='3872';
document.getElementById('up1715').innerHTML='11';
document.getElementById('down1715').innerHTML='-11';