document.getElementById('Num1231').innerHTML='119';
document.getElementById('up1231').innerHTML='7';
document.getElementById('down1231').innerHTML='-1';