var _____WB$wombat$assign$function_____ = function(name) {return (self._wb_wombat && self._wb_wombat.local_init && self._wb_wombat.local_init(name)) || self[name]; };
if (!self.__WB_pmw) { self.__WB_pmw = function(obj) { this.__WB_source = obj; return this; } }
{
  let window = _____WB$wombat$assign$function_____("window");
  let self = _____WB$wombat$assign$function_____("self");
  let document = _____WB$wombat$assign$function_____("document");
  let location = _____WB$wombat$assign$function_____("location");
  let top = _____WB$wombat$assign$function_____("top");
  let parent = _____WB$wombat$assign$function_____("parent");
  let frames = _____WB$wombat$assign$function_____("frames");
  let opener = _____WB$wombat$assign$function_____("opener");

// JavaScript Document

function toggleMenu( evt )
{
	// get the element that fired the event
	var evtObject = document.getElementById && !document.all ? evt.target : event.srcElement;	
	// get the array of sibling elements associated with the evtObject 
	var siblingArray = document.getElementById && !document.all ? evtObject.parentNode.childNodes : evtObject.parentElement.all;
	// get all the siblings of the parent node
	var allMenus = evtObject.parentNode.parentNode.childNodes;
	
	// if the parent of the event element is of the button class
	if ( evtObject.parentNode.className == "button" )
	{
		// the actual submenu is in div next to the button class div
		if ( evtObject.parentNode.nextSibling.style.display == "none" )
		{
			evtObject.parentNode.childNodes[ 0 ].src = "img/minus.gif";	// change up the graphic to minus
			evtObject.parentNode.nextSibling.style.display = ''; // reveal the submenu
		}
		else
		{
			evtObject.parentNode.childNodes[ 0 ].src = "img/plus.gif";	// change up the graphic to plus
			evtObject.parentNode.nextSibling.style.display = "none"; // hide the submenu
		}
	}
	
	// inspect the rest of the elements within the page s
	for( i = 0; i < allMenus.length; i++ )
	{
		// if the element is of the button class	
		if( allMenus[ i ].className == "button" )
		{
			// compare the current button id with the button id that contained the element that fired the event
			// if it's not the button that fired the event, close it and change the graphic to a minus
			if( allMenus[ i ].id != evtObject.parentNode.id )
			{
				// first child of the button is the graphic
				allMenus[ i ].childNodes[ 0 ].src = "img/plus.gif";	// change up the graphic
				allMenus[ i ].nextSibling.style.display="none"; // hide the submenu
			}
		}
	}
}


 }

/*
     FILE ARCHIVED ON 05:07:29 Dec 10, 2006 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 15:32:49 Jul 29, 2024.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  RulesEngine.query: 74.462
  PetaboxLoader3.datanode: 17.897
*/