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