document.getElementById('Num1230').innerHTML='127';
document.getElementById('up1230').innerHTML='2';
document.getElementById('down1230').innerHTML='-3';