document.getElementById('Num5457').innerHTML='509';
document.getElementById('up5457').innerHTML='5';
document.getElementById('down5457').innerHTML='-6';