setTitle: function(title){ 
setTitle: function(/* String */title){  
	setTitle: function(title){		this.focusNode.innerHTML = title;	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/4241135e73df0bddf18b6384563fe5fb9f96d5f1/SortList.js/buggy/widget/SortList.js