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