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