this.items = new Array(); 
this.items = []; 
function TinyMCE_Menu() {	var id;	if (typeof(tinyMCE.menuCounter) == "undefined")		tinyMCE.menuCounter = 0;	id = "mc_menu_" + tinyMCE.menuCounter++;	TinyMCE_Layer.call(this, id, true);	this.id = id;	this.items = new Array();	this.needsUpdate = true;};
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