document.getElementById('Num531').innerHTML='125';
document.getElementById('up531').innerHTML='2';
document.getElementById('down531').innerHTML='-6';