context:   Body: function () {    if (this.inited) return;    this.inited = -1;    jsMath.Setup.Hidden(); this.inited = -2;    jsMath.Browser.Init(); this.inited = -3;    // blank screen if necessary    if (jsMath.Controls.cookie.blank) {jsMath.Message.Blank()}; this.inited = -4;    jsMath.Setup.Styles(); this.inited = -5;    jsMath.Controls.Init(); this.inited = -6;        // do user-specific initialization    jsMath.Script.Push(jsMath.Setup,'User','pre-font'); this.inited = -7;    // make sure browser-specific loads are done before this    jsMath.Script.Push(jsMath.Font,'Check');    if (jsMath.Font.register.length)      {jsMath.Script.Push(jsMath.Font,'LoadRegistered')}        this.inited = 1;  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/56c2c50e2d615c0fcb6f8f2877afa699ac87a99e/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js