document.getElementById('Num5439').innerHTML='423';
document.getElementById('up5439').innerHTML='4';
document.getElementById('down5439').innerHTML='-5';