document.getElementById('Num1232').innerHTML='153';
document.getElementById('up1232').innerHTML='7';
document.getElementById('down1232').innerHTML='-11';