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