document.getElementById('Num1200').innerHTML='253';
document.getElementById('up1200').innerHTML='0';
document.getElementById('down1200').innerHTML='-2';