document.getElementById('Num5457').innerHTML='472';
document.getElementById('up5457').innerHTML='3';
document.getElementById('down5457').innerHTML='-4';