context: function insideZoomBox() {	var szLeft = gZoomGraphObj.zoomSensitiveZoneLeft;	var szTop = gZoomGraphObj.zoomSensitiveZoneTop;	var szRight = gZoomGraphObj.zoomSensitiveZoneRight;	var szBottom = gZoomGraphObj.zoomSensitiveZoneBottom;	var mpX = gMouseObj.currentX;	var mpY = gMouseObj.currentY;	return ((mpX >= szLeft) && (mpX <= szRight) && (mpY >= szTop) && (mpY <= szBottom));}
meta: 3303	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3303/3d2ed847f74ff4ee049fbf4f0fb71eb4ac00761e/zoom.js/buggy/opennms-webapp/src/main/webapp/js/zoom.js