function Menu(label, mw, mh, fnt, fs, fclr, fhclr, bg, bgh, halgn, valgn, pad, space, to, sx, sy, srel, opq, vert, idt, aw, ah) {	this.version = "020320 [Menu; mm_menu.js]";	this.type = "Menu";	this.menuWidth = mw;	this.menuItemHeight = mh;	this.fontSize = fs;	this.fontWeight = "plain";	this.fontFamily = fnt;	this.fontColor = fclr;	this.fontColorHilite = fhclr;	this.bgColor = "#555555";	this.menuBorder = 1;	this.menuBgOpaque=opq;	this.menuItemBorder = 1;	this.menuItemIndent = idt;	this.menuItemBgColor = bg;	this.menuItemVAlign = valgn;	this.menuItemHAlign = halgn;	this.menuItemPadding = pad;	this.menuItemSpacing = space;	this.menuLiteBgColor = "#ffffff";	this.menuBorderBgColor = "#777777";	this.menuHiliteBgColor = bgh;	this.menuContainerBgColor = "#cccccc";	this.childMenuIcon = "arrows.gif";	this.submenuXOffset = sx;	this.submenuYOffset = sy;	this.submenuRelativeToItem = srel;	this.vertical = vert;	this.items = new Array();	this.actions = new Array();	this.childMenus = new Array();	this.hideOnMouseOut = true;	this.hideTimeout = to;	this.addMenuItem = addMenuItem;	this.writeMenus = writeMenus;	this.MM_showMenu = MM_showMenu;	this.onMenuItemOver = onMenuItemOver;	this.onMenuItemAction = onMenuItemAction;	this.hideMenu = hideMenu;	this.hideChildMenu = hideChildMenu;	if (!window.menus) window.menus = new Array();	this.label = " " + label;	window.menus[this.label] = this;	window.menus[window.menus.length] = this;	if (!window.activeMenus) window.activeMenus = new Array();}
9897	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9897/4da2cea6800cdc70afca21ed9a409dacdceff8fd/mm_menu.js/buggy/website/js/mm_menu.js