document.getElementById('Num3880').innerHTML='56';
document.getElementById('up3880').innerHTML='0';
document.getElementById('down3880').innerHTML='-0';