Нашел, в чем проблема. Очевидно, есть разница между тем, что Firefox показывает мне, когда я выбираю «просмотреть источник документа», и тем, что javascript дает мне в качестве источника. Вот разница:
источник Firefox:
<img class="car" src="img/x.gif" alt="carregamento" title="carregamento" />802/1800</div>
Источник JavaScript: (Я создал журнал, показывающий мне document.documentElement.innerHTML
<img class="car" src="img/x.gif" alt="carregamento" title="carregamento">802/1800</div>
так что разница была просто />
Я также улучшил код до:
var myregexp = /title="carregamento">(.+?)\/(.+?)<\/div>/;
FM_log(7,"myregexp="+myregexp);
var resultado = [];
var match = myregexp.exec(document.documentElement.innerHTML);
//FM_log(7, document.documentElement.innerHTML);
FM_log(7,"match="+match);
if (match != null) {
resultado.push(match[1])
resultado.push(match[2])
};
FM_log(7,"resultado[0]="+resultado[0]+" resultado[1]="+resultado[1]);
efficiency = Math.round(resultado[0] / resultado[1] * 100);
gain = resultado[0];
это окончательный код и отлично работает.
Спасибо всем, кто внес свой вклад.