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