var offsetcache = this.realOffset(element); 
var offsetcache = Element.cumulativeScrollOffset(element); 
  withinIncludingScrolloffsets: function(element, x, y) {    var offsetcache = this.realOffset(element);    this.xcomp = x + offsetcache[0] - this.deltaX;    this.ycomp = y + offsetcache[1] - this.deltaY;    this.offset = this.cumulativeOffset(element);    return (this.ycomp >= this.offset[1] &&            this.ycomp <  this.offset[1] + element.offsetHeight &&            this.xcomp >= this.offset[0] &&            this.xcomp <  this.offset[0] + element.offsetWidth);  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/37a06e5ed1bdb861348bb0cfd02f71470a0dfdfb/prototype.js/clean/lib/prototype.js