document.getElementById('Num13').innerHTML='2387';
document.getElementById('up13').innerHTML='8';
document.getElementById('down13').innerHTML='-5';