document.getElementById('Num1250').innerHTML='112';
document.getElementById('up1250').innerHTML='2';
document.getElementById('down1250').innerHTML='-8';