this.unsubscribed = function(   /*string*/  channel, /*obj*/     message){ 
this.unsubscribed = function(	/*string*/	channel, /*obj*/	message){ 
	this.unsubscribed = function(   /*string*/  channel,					/*obj*/     message){	}
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/c5d4597e2dcaa3b9ca02e49b6818d5a152bf8ef8/cometd.js/buggy/_cometd/cometd.js