handler = function() {  return fn.apply(this, arguments); }; 
handler: function(event) {  if ( withinElement(event, this) ) return true;  arguments[0].type = "mouseleave"; return jQuery.event.handle.apply(this, arguments); } 
			handler = function() { 				// Pass arguments and context to original handler 				return fn.apply(this, arguments); 			};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/3bb82a34de18b8b8e80893571d65080bf5a4702b/event.js/clean/src/event.js