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