document.getElementById('Num239').innerHTML='3332';
document.getElementById('up239').innerHTML='10';
document.getElementById('down239').innerHTML='-12';