navigator.platform == 'MacPPC' && navigator.onLine && 
jsMath.platform == 'mac' && navigator.onLine && 
  Domain: function () {    try {jsMath.document.domain} catch (err) {return}    var jsDomain = ''; var pageDomain = jsMath.document.domain;    if (jsMath.root.match('://([^/]*)/')) {jsDomain = RegExp.$1}    jsDomain = jsDomain.replace(/:\d+$/,'');    if (jsDomain == "" || jsDomain == pageDomain) return;    //    // MSIE on the Mac can't change jsMath.document.domain and 'try' won't    //   catch the error (Grrr!), so exit for them.    //    if (navigator.appName == 'Microsoft Internet Explorer' &&        navigator.platform == 'MacPPC' && navigator.onLine &&        navigator.userProfile && jsMath.document.all) return;    jsDomain = jsDomain.split(/\./); pageDomain = pageDomain.split(/\./);    if (jsDomain.length < 2 || pageDomain.length < 2 ||        jsDomain[jsDomain.length-1] != pageDomain[pageDomain.length-1] ||        jsDomain[jsDomain.length-2] != pageDomain[pageDomain.length-2]) {      this.DomainWarning();      return;    }    var domain = jsDomain[jsDomain.length-2] + '.' + jsDomain[jsDomain.length-1];    for (var i = 3; i <= jsDomain.length && i <= pageDomain.length; i++) {      if (jsDomain[jsDomain.length-i] != pageDomain[pageDomain.length-i]) break;      domain = jsDomain[jsDomain.length-i] + '.' + domain;    }    jsMath.document.domain = domain;    this.domainChanged = 1;  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/b61e1d309b0ecd4f851bf6d502f9d4406963c232/jsMath.js/clean/htdocs/jsMath/uncompressed/jsMath.js