document.getElementById('Num4190').innerHTML='139';
document.getElementById('up4190').innerHTML='0';
document.getElementById('down4190').innerHTML='-0';