document.getElementById('Num1201').innerHTML='87';
document.getElementById('up1201').innerHTML='3';
document.getElementById('down1201').innerHTML='-2';