document.getElementById('Num5872').innerHTML='20';
document.getElementById('up5872').innerHTML='0';
document.getElementById('down5872').innerHTML='-0';