document.getElementById('Num2257').innerHTML='1616';
document.getElementById('up2257').innerHTML='4';
document.getElementById('down2257').innerHTML='-0';