document.getElementById('Num3900').innerHTML='1515';
document.getElementById('up3900').innerHTML='39';
document.getElementById('down3900').innerHTML='-7';