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