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/2f1d2cb699c9d9329e8b782b0463156e211cb0f6/struts_dojo.js.uncompressed.js/buggy/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js