document.getElementById('Num1207').innerHTML='113';
document.getElementById('up1207').innerHTML='6';
document.getElementById('down1207').innerHTML='-1';