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