document.getElementById('Num372').innerHTML='5871';
document.getElementById('up372').innerHTML='20';
document.getElementById('down372').innerHTML='-30';