document.getElementById('Num1257').innerHTML='90';
document.getElementById('up1257').innerHTML='4';
document.getElementById('down1257').innerHTML='-4';