document.getElementById('Num6371').innerHTML='7487';
document.getElementById('up6371').innerHTML='21';
document.getElementById('down6371').innerHTML='-3';