document.getElementById('Num1863').innerHTML='4187';
document.getElementById('up1863').innerHTML='12';
document.getElementById('down1863').innerHTML='-10';