document.getElementById('Num113').innerHTML='2566';
document.getElementById('up113').innerHTML='8';
document.getElementById('down113').innerHTML='-8';