return console.groupEnd(); 
return console.groupEnd(name); 
	groupEnd: function(name){		return console.groupEnd();	},
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/b7147536d3a68031526535da40f72805b6c62aed/Test.js/buggy/Test/Test.js