if (navigator.platform == 'Win32') {this.alphaPrintBug = 1} 
if (jsMath.platform == 'pc') {this.alphaPrintBug = 1} 
  Mozilla: function () {    if (jsMath.hidden.ATTRIBUTE_NODE) {      jsMath.browser = 'Mozilla';      if (navigator.platform == 'Win32') {this.alphaPrintBug = 1}      this.allowAbsoluteDelim = 1;      jsMath.styles['#jsMath_button'] = jsMath.styles['#jsMath_button'].replace(/cursor:hand/,'cursor:pointer');      jsMath.styles['#jsMath_noFont .link'] = jsMath.styles['#jsMath_noFont .link'].replace(/cursor:hand/,'cursor:pointer');      jsMath.Macro('not','\\mathrel{\\rlap{\\kern3mu/}}');      if (navigator.vendor == 'Firefox') {        this.version = navigator.vendorSub;      } else if (navigator.userAgent.match(' Firefox/([0-9.]+)( |$)')) {        this.version = RegExp.$1;      }    }  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/b61e1d309b0ecd4f851bf6d502f9d4406963c232/jsMath.js/clean/htdocs/jsMath/uncompressed/jsMath.js