event.stop(); 
	end: function(event){		$clear(this.timer);		this.timer = this.hide.delay(this.options.hideDelay, this);		event.stop();	},
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/60ceec12ce10d0021711666ff300a957c2e364a4/Tips.js/buggy/Plugins/Tips.js