document.getElementById('Num513').innerHTML='112';
document.getElementById('up513').innerHTML='1';
document.getElementById('down513').innerHTML='-2';