document.getElementById('Num193').innerHTML='4031';
document.getElementById('up193').innerHTML='13';
document.getElementById('down193').innerHTML='-14';