rem:  return navigator.vendor+'/'+navigator.vendorSub; 
add:  else if (navigator.vendor != ''){ return window.navigator.vendor+'/'+window.navigator.vendorSub; }  try { var prefs = Components.classes["@mozilla.org/preferences-service;1"]. getService(Components.interfaces.nsIPrefService); return prefs.getCharPref("general.useragent.extra.firefox"); } catch(ex) { return "Unknown"; } 
context: function getProduct() {  // only works on Gecko 1.8 and higher  if ('nsIChromeRegistrySea' in Components.interfaces) {    return 'SeaMonkey/'+    Components.classes['@mozilla.org/network/io-service;1']              .getService(Components.interfaces.nsIIOService)              .getProtocolHandler('http')              .QueryInterface(Components.interfaces.nsIHttpProtocolHandler).misc.substring(3);  }  return navigator.vendor+'/'+navigator.vendorSub;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/3374fb150dee227c3cad5125e857e4d19b3cf5ff/reportWizard.js/clean/extensions/reporter/resources/content/reporter/reportWizard.js