// MENU OPTIONS //

	var lastTimeout = 0;						// used to store id of timeout menu
	var lastMenuLink = "";						// used to store the previous highlighted parent link (now defunct)
	var arOpenMenuID = new Array(100);			// ids of open menus
	var arOpenMenuParentID = new Array(100);	// ids of open menus' parents
	var arOpenMenuLevel = new Array(100);		// open menu levels
	var arrayTotal = -1;						// total records in array (zero-based)
	var actualLevel = 0;						// stores the actual deepest level currently open
	
	var iframeBlankURL = ""						// URL for blank src in iframes (only needed for https)
	var submenuOffsetV = 0;						// vertical offset of submenus
	var submenuOffsetH = 1;						// horizontal offset of submenus
	var menuOffsetV = 2;						// vertical offset of first menu
	var menuOffsetH = 0;						// horizontal offset of first menu
	var menuCloseDelay = 1000;					// delay before closure in ms
	var menuHWrap = true;						// does the menu wrap when it reaches the screen edge
	var submenuDefaultStyle = "div_SubMenu";	// default style for submenus where not specified below
	var arMenuStyle = new Array(4);				// stores use of per-level styles (zero not used to keep numbers in line with level numbers)
												// to ignore a particular menu, put fixedstyle="true" in the HTML
		arMenuStyle[0] = ""; //not used
		arMenuStyle[1] = "";
		arMenuStyle[2] = "";
		arMenuStyle[3] = "";
		arMenuStyle[4] = "";
	
// END OPTIONS //