document.getElementById('Num512').innerHTML='89';
document.getElementById('up512').innerHTML='2';
document.getElementById('down512').innerHTML='-0';