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