document.getElementById('Num6439').innerHTML='4741';
document.getElementById('up6439').innerHTML='23';
document.getElementById('down6439').innerHTML='-16';