if (element.$events) { var i,j,k; if ( type && type.type ) { 
var events = element.$events, ret;  if ( events ) {  if ( type && type.type ) { 
	remove: function(element, type, handler) {		if (element.$events) {			var i,j,k;			if ( type && type.type ) { // type is actually an event object here				handler = type.handler;				type    = type.type;			}						if (type && element.$events[type])				// remove the given handler for the given type				if ( handler )					delete element.$events[type][handler.guid];									// remove all handlers for the given type				else					for ( i in element.$events[type] )						delete element.$events[type][i];									// remove all handlers					else				for ( j in element.$events )					this.remove( element, j );						// remove event handler if no more handlers exist			for ( k in element.$events[type] )				if (k) {					k = true;					break;				}			if (!k) element["on" + type] = null;		}	},
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/6b729ff7984d9d4d09dff042a3896022dae3783d/event.js/clean/src/event/event.js