document.getElementById('Num4888').innerHTML='51';
document.getElementById('up4888').innerHTML='0';
document.getElementById('down4888').innerHTML='-0';