map: function(event){ var related = event.relatedTarget || event.toElement; if (related === this || this.hasChild(related)) return; this.fireEvent('mouseleave', event); } 
$$.map = function(elements){ return $extend(elements.map($), new Elements); }; 
		map: function(event){			var related = event.relatedTarget || event.toElement;			if (related === this || this.hasChild(related)) return;			this.fireEvent('mouseleave', event);		}
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/60ceec12ce10d0021711666ff300a957c2e364a4/Element.js/clean/Native/Element.js