rem: setTimeout("jsMath.window.resizeBy(-1,0); jsMath.window.resizeBy(1,0);",2000); 
add: if (this.timeout) {clearTimeout(this.timeout)} this.timeout = setTimeout("jsMath.window.resizeBy(-1,0); " + "jsMath.window.resizeBy(1,0); " + "jsMath.Translate.timeout = null",2000); 
context:   ProcessComplete: function (noMessage) {    if (jsMath.Browser.renameOK) {      var element = jsMath.document.getElementsByName('_jsMath_');      for (var i = element.length-1; i >= 0; i--) {        element[i].removeAttribute('name');      }    }    jsMath.hidden = jsMath.hiddenTop;    this.element = [];    if (!noMessage) {      jsMath.Message.Set('Processing Math: Done');      jsMath.Message.Clear();    }    jsMath.Message.UnBlank();    if (jsMath.Browser.safariImgBug &&        (jsMath.Controls.cookie.font == 'symbol' ||         jsMath.Controls.cookie.font == 'image')) {      //      //  For Safari, the images don't always finish      //  updating, so nudge the window to cause a      //  redraw.  (Hack!)      //      setTimeout("jsMath.window.resizeBy(-1,0); jsMath.window.resizeBy(1,0);",2000);    }  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/5740c2a3f758850c299e710814f270a583ea85fa/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js