document.getElementById('Num6543').innerHTML='5944';
document.getElementById('up6543').innerHTML='9';
document.getElementById('down6543').innerHTML='-12';