document.getElementById('Num1025').innerHTML='128';
document.getElementById('up1025').innerHTML='1';
document.getElementById('down1025').innerHTML='-4';