tinyMCE.addPlugin(pn, to); 
tinyMCE.addPlugin(pn, tos); 
function TinyMCE_Control(settings) {	var t, i, to, fu, p, x, fn, fu, pn, s = settings;	this.undoRedoLevel = true;	this.isTinyMCE_Control = true;	// Default settings	this.settings = s;	this.settings['theme'] = tinyMCE.getParam("theme", "default");	this.settings['width'] = tinyMCE.getParam("width", -1);	this.settings['height'] = tinyMCE.getParam("height", -1);	this.selection = new TinyMCE_Selection(this);	this.undoRedo = new TinyMCE_UndoRedo(this);	this.cleanup = new TinyMCE_Cleanup();	this.shortcuts = new Array();	this.hasMouseMoved = false;	this.foreColor = this.backColor = "#999999";	this.data = {};	this.cssClasses = [];	this.cleanup.init({		valid_elements : s.valid_elements,		extended_valid_elements : s.extended_valid_elements,		valid_child_elements : s.valid_child_elements,		entities : s.entities,		entity_encoding : s.entity_encoding,		debug : s.cleanup_debug,		indent : s.apply_source_formatting,		invalid_elements : s.invalid_elements,		verify_html : s.verify_html,		fix_content_duplication : s.fix_content_duplication,		convert_fonts_to_spans : s.convert_fonts_to_spans	});	// Wrap old theme	t = this.settings['theme'];	if (!tinyMCE.hasTheme(t)) {		fn = tinyMCE.callbacks;		to = {};		for (i=0; i<fn.length; i++) {			if ((fu = window['TinyMCE_' + t + "_" + fn[i]]))				to[fn[i]] = fu;		}		tinyMCE.addTheme(t, to);	}	// Wrap old plugins	this.plugins = new Array();	p = tinyMCE.getParam('plugins', '', true, ',');	if (p.length > 0) {		for (i=0; i<p.length; i++) {			pn = p[i];			if (pn.charAt(0) == '-')				pn = pn.substring(1);			if (!tinyMCE.hasPlugin(pn)) {				fn = tinyMCE.callbacks;				to = {};				for (x=0; x<fn.length; x++) {					if ((fu = window['TinyMCE_' + pn + "_" + fn[x]]))						to[fn[x]] = fu;				}				tinyMCE.addPlugin(pn, to);			}			this.plugins[this.plugins.length] = pn; 		}	}};
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