if (options || !update) update = new Ajax(url, $extend({update: this, method: 'get'}, options)); 
if (options || !update) update = new Ajax(url, $extend({update: this, method: 'get'}, options || {})); 
	update: function(url, options){		var update = this.$attributes.$update;		if (update) update.cancel();		if (options || !update) update = new Ajax(url, $extend({update: this, method: 'get'}, options));		this.$attributes.$update = update;		update.request();		return this;	}
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/db6144f9b2b79ac576255f44c16b0d259778bdee/Ajax.js/buggy/Source/Remote/Ajax.js