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