	setTitle: function(/* String */ title) {		this.titleNode.innerHTML = title; 	},	
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/661967c46d3132bddbb5521b0b8021f9814ccc15/FloatingPane.js/buggy/layout/FloatingPane.js