document.getElementById('Num1251').innerHTML='84';
document.getElementById('up1251').innerHTML='7';
document.getElementById('down1251').innerHTML='-2';