document.getElementById('Num1888').innerHTML='2801';
document.getElementById('up1888').innerHTML='18';
document.getElementById('down1888').innerHTML='-12';