document.getElementById('Num225').innerHTML='4172';
document.getElementById('up225').innerHTML='11';
document.getElementById('down225').innerHTML='-6';