document.getElementById('Num1209').innerHTML='157';
document.getElementById('up1209').innerHTML='1';
document.getElementById('down1209').innerHTML='-1';