if (tinyMCE.configs.length > 1 && tinyMCE.currentConfig != this.settings['index']) { 
if (tinyMCE.configs.length > 1 && tinyMCE.currentConfig != this.settings.index) { 
	switchSettings : function() {		if (tinyMCE.configs.length > 1 && tinyMCE.currentConfig != this.settings['index']) {			tinyMCE.settings = this.settings;			tinyMCE.currentConfig = this.settings['index'];		}	},
3623	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3623/32d3515ec5cf941c718954b41f19cc777ee4a50e/tiny_mce_src.js/buggy/ain7-website/ain7/media/js/tiny_mce/tiny_mce_src.js