document.getElementById('Num258').innerHTML='123';
document.getElementById('up258').innerHTML='3';
document.getElementById('down258').innerHTML='-2';