document.getElementById('Num3917').innerHTML='940';
document.getElementById('up3917').innerHTML='5';
document.getElementById('down3917').innerHTML='-3';