document.getElementById('Num235').innerHTML='2987';
document.getElementById('up235').innerHTML='11';
document.getElementById('down235').innerHTML='-9';