document.getElementById('Num1712').innerHTML='2185';
document.getElementById('up1712').innerHTML='10';
document.getElementById('down1712').innerHTML='-10';