document.getElementById('Num1257').innerHTML='127';
document.getElementById('up1257').innerHTML='6';
document.getElementById('down1257').innerHTML='-6';