document.getElementById('Num2258').innerHTML='2334';
document.getElementById('up2258').innerHTML='7';
document.getElementById('down2258').innerHTML='-4';