var platform = ({Win32: 'pc', MacPPC: 'mac'})[navigator.platform] || 'unix'; jsMath.Setup.Script('jsMath-fallback-'+platform+'.js'); 
jsMath.Setup.Script('jsMath-fallback-'+jsMath.platform+'.js'); 
  Check: function () {    var cookie = jsMath.Controls.cookie;    this.CheckTeX();    if (jsMath.nofonts) {      if (cookie.autofont || cookie.font == 'tex') {        cookie.font = this.fallback;        if (cookie.warn) {          jsMath.nofontMessage = 1;          cookie.warn = 0; jsMath.Controls.SetCookie(0);          if (jsMath.window.NoFontMessage) {jsMath.window.NoFontMessage()}                               else {this.Message(this.message)}        }      }    } else {      if (cookie.autofont) {cookie.font = 'tex'}      if (cookie.font == 'tex') return;    }    if (jsMath.noImgFonts) {cookie.font = 'unicode'}    if (cookie.font == 'unicode') {      var platform = ({Win32: 'pc', MacPPC: 'mac'})[navigator.platform] || 'unix';      jsMath.Setup.Script('jsMath-fallback-'+platform+'.js');      jsMath.Box.TeXnonfallback = jsMath.Box.TeX;      jsMath.Box.TeX = jsMath.Box.TeXfallback;      return;    }    if (!cookie.print && cookie.printwarn) {      this.PrintMessage(        (jsMath.Browser.alphaPrintBug && jsMath.Controls.cookie.alpha) ?          this.print_message + this.alpha_message : this.print_message);    }    if (jsMath.Browser.waitForImages) {      jsMath.Script.Push(jsMath.Script,"WaitForImage",jsMath.blank);    }    if (cookie.font == 'symbol') {      jsMath.Setup.Script('jsMath-fallback-symbols.js');      jsMath.Box.TeXnonfallback = jsMath.Box.TeX;      jsMath.Box.TeX = jsMath.Box.TeXfallback;      return;    }    jsMath.Img.SetFont({      cmr10:  ['all'], cmmi10: ['all'], cmsy10: ['all'],      cmex10: ['all'], cmbx10: ['all'], cmti10: ['all']    });    jsMath.Img.LoadFont('cm-fonts');  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/b61e1d309b0ecd4f851bf6d502f9d4406963c232/jsMath.js/clean/htdocs/jsMath/uncompressed/jsMath.js