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