add: if (navigator.vendor == 'Firefox') { jsMath.Browser.version = navigator.vendorSub; } else if (navigator.userAgent.match(' Firefox/([0-9.]+)( |$)')) { jsMath.Browser.version = RegExp.$1; } 
context:   Mozilla: function () {    if (jsMath.hidden.ATTRIBUTE_NODE) {      jsMath.browser = 'Mozilla';      if (navigator.platform == 'Win32') {this.alphaPrintBug = 1}      this.allowAbsoluteDelim = 1;      this.separateSkips = 1;      jsMath.Macro('not','\\mathrel{\\rlap{\\kern3mu/}}');    }  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/80539383c07d69456fc3b36aea6d2349035a120f/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js