document.getElementById('Num257').innerHTML='95';
document.getElementById('up257').innerHTML='1';
document.getElementById('down257').innerHTML='-2';