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