document.getElementById('Num5731').innerHTML='645';
document.getElementById('up5731').innerHTML='4';
document.getElementById('down5731').innerHTML='-2';