document.getElementById('Num2439').innerHTML='13419';
document.getElementById('up2439').innerHTML='20';
document.getElementById('down2439').innerHTML='-9';