document.getElementById('Num6543').innerHTML='6001';
document.getElementById('up6543').innerHTML='10';
document.getElementById('down6543').innerHTML='-45';