jQuery.event.handle.apply(element, arguments); 
 var val;    if ( typeof jQuery == "undefined" || jQuery.event.triggered ) return val;  val = jQuery.event.handle.apply(element, arguments);  return val; 
			element.$handle = function() {				jQuery.event.handle.apply(element, arguments);			};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/3c5340d146100dab8c69d2c2c1925adca827342a/event.js/clean/src/event/event.js