add: return ""; 
context:   xmlRequest: function (url) {    this.blocking = 1;//    this.debug('xmlRequest: '+url);    try {      this.request.open("GET",url,false);      this.request.send(null);    } catch (err) {      throw "jsMath can't load the file '"+url+"'\n"          + "Message: "+err.message;    }    if (this.request.status && this.request.status >= 400) {      // Do we need to deal with redirected links?      throw "jsMath can't load the file '"+url+"'\n"          + "Error status: "+this.request.status;    }    var tmpQueue = this.queue; this.queue = [];//    this.debug('xml Eval ['+tmpQueue.length+']');    jsMath.window.eval(this.request.responseText);//    this.debug('xml Done ['+this.queue.length+' + '+tmpQueue.length+']');    this.blocking = 0; this.queue = this.queue.concat(tmpQueue);    this.Process();  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/56c2c50e2d615c0fcb6f8f2877afa699ac87a99e/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js