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