dojo.html.overElement = function(/* HTMLElement */element, /* DOMEvent */e){   element = dojo.byId(element); var mouse = dojo.html.getCursorPosition(e); var bb = dojo.html.getBorderBox(element); var absolute = dojo.html.getAbsolutePosition(element, true, dojo.html.boxSizing.BORDER_BOX); var top = absolute.y; var bottom = top + bb.height; var left = absolute.x; var right = left + bb.width;  return (mouse.x >= left && mouse.x <= right && mouse.y >= top && mouse.y <= bottom ); } 
dojo.html.overElement=function(_2b1,e){ _2b1=dojo.byId(_2b1); var _2b3=dojo.html.getCursorPosition(e); var bb=dojo.html.getBorderBox(_2b1); var _2b5=dojo.html.getAbsolutePosition(_2b1,true,dojo.html.boxSizing.BORDER_BOX); var top=_2b5.y; var _2b7=top+bb.height; var left=_2b5.x; var _2b9=left+bb.width; return (_2b3.x>=left&&_2b3.x<=_2b9&&_2b3.y>=top&&_2b3.y<=_2b7); }; 
dojo.html.overElement = function(/* HTMLElement */element, /* DOMEvent */e){  //  summary  //  Returns whether the mouse is over the passed element.  element = dojo.byId(element);  var mouse = dojo.html.getCursorPosition(e);  var bb = dojo.html.getBorderBox(element);  var absolute = dojo.html.getAbsolutePosition(element, true, dojo.html.boxSizing.BORDER_BOX);  var top = absolute.y;  var bottom = top + bb.height;  var left = absolute.x;  var right = left + bb.width;  return (mouse.x >= left    && mouse.x <= right    && mouse.y >= top    && mouse.y <= bottom  );  //  boolean}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js