if (jsMath.browser == 'MSIE' && navigator.platform == 'Win32') 
if (jsMath.browser == 'MSIE' && jsMath.platform == 'pc') 
  Init: function () {    if (!jsMath.browser && document.all && !window.opera) {jsMath.browser = 'MSIE'}    if (this.inited || !jsMath.browser) return;    /*     *  MSIE can't handle the DIV's properly, so we need to do it by     *  hand.  Look up the style for typeset math to see if the user     *  has changed it, and get whether it is centered or indented     *  so we can mirror that using a SPAN     */    if (jsMath.browser == 'MSIE' && navigator.platform == 'Win32')      {this.createMathTag = this.MSIEcreateMathTag}    this.inited = 1;  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/b61e1d309b0ecd4f851bf6d502f9d4406963c232/tex2math.js/clean/htdocs/jsMath/plugins/tex2math.js