<!--
function toggleClamShellMenu(objectID) {
	if (isAll || isID) {
		domStyle = findDOM(objectID,1);
		if (domStyle.display =='block')  domStyle.display='none';
		else domStyle.display='block';
	}
	else {
		destination = objectID + '.htm';
		self.location = destination;
	}
	// now update the cookie
	updateMenuCookie();
	return;
}

function updateMenuCookie() {
// run through all the menus, create the cookie
	var menucookiestring = "";
	for (var i = 0; i < menuArray.length; i++) {
		if (menuArray[i].style.display == "block") menucookiestring += "1:"
		else menucookiestring += "0:"
	}
	//here we use the existing Webmonkey cookie handler
	var menuName = "module11TOC"
	WM_setCookie(menuName, menucookiestring);
	// leaving the trailing values null means that this cookie expires upon exit from the browser.
}

function checkMenu() {
	//here we use the existing Webmonkey cookie handler
	var menucookiestring = WM_readCookie("module11TOC");
	if (menucookiestring != 0) {
		// found the cookie; parse and display accordingly
		var menuCookies = menucookiestring.split(":");
		for (var i = 0; i < menuArray.length; i++) {
			if (menuCookies[i] == "1")
			{
			 menuArray[i].style.display = "block"
			}
			else{ menuArray[i].style.display = "none";
			}
		}
	}
}
// -->