document.getElementById('Num2253').innerHTML='3140';
document.getElementById('up2253').innerHTML='2';
document.getElementById('down2253').innerHTML='-2';