document.getElementById('Num3531').innerHTML='257';
document.getElementById('up3531').innerHTML='7';
document.getElementById('down3531').innerHTML='-5';