return (mouse.x >= left && mouse.x <= right && mouse.y >= top && mouse.y <= bottom ); 
return (mouse.x >= left && mouse.x <= right && mouse.y >= top && mouse.y <= bottom ); 
dojo.html.overElement = function(/* HTMLElement */element, /* DOMEvent */e){  //  summary  //  Returns whether the mouse is over the passed element.  //  Element must be display:block (ie, not a <span>)  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/65ae7e8768a77997b7894e274bc242069a1cb027/struts_dojo.js.uncompressed.js/clean/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js