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