document.getElementById('Num1232').innerHTML='113';
document.getElementById('up1232').innerHTML='6';
document.getElementById('down1232').innerHTML='-11';