document.getElementById('Num488').innerHTML='4489';
document.getElementById('up488').innerHTML='19';
document.getElementById('down488').innerHTML='-32';