name = tinyMCE.settings['theme']; 
name = tinyMCE.settings.theme; 
	importThemeLanguagePack : function(name) {		if (typeof(name) == "undefined")			name = tinyMCE.settings['theme'];		tinyMCE.loadScript(tinyMCE.baseURL + '/themes/' + name + '/langs/' + tinyMCE.settings['language'] + '.js');	},
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/5aedce1521db51e0580dc7c394a64ebd1b655534/tiny_mce.js/buggy/wp-includes/js/tinymce/tiny_mce.js