document.getElementById('Num988').innerHTML='1898';
document.getElementById('up988').innerHTML='5';
document.getElementById('down988').innerHTML='-15';