/* 
	The jumpTo() function is called onChange of a drop-down menu whose values contain URLs
*/
function jumpTo(theForm) {
	if (theForm.url.options[theForm.url.selectedIndex].value != "#") {
		top.location.href = theForm.url.options[theForm.url.selectedIndex].value;
	}
} // end jumpTo() function





// This variable is used to determine whether the user's mouse is hovering over the search form or not
var oversearchform = false;
/* The toggleSearchOptions() function either shows or hides the searchOptions layer */
function toggleSearchOptions()
{
	if (sectionSearchOn) {
		if (oversearchform == false) {
			hideLayer('searchOptions');
		} else {
			showLayer('searchOptions');
		}
	}
} // end toggleLayer() function





/* The showLayer() function is called to make a an element visible */
function showLayer(whichLayer)
{
	if (document.getElementById) {
		// this is the way the standards work
		var style2 = document.getElementById(whichLayer).style;
	} else if (document.all) {
		// this is the way old msie versions work
		var style2 = document.all[whichLayer].style;
	} else if (document.layers) {
		// this is the way nn4 works
		var style2 = document.layers[whichLayer].style;
	}
	style2.display = "block";
} // end showLayer() function





/* The toggleLayer() function is called to make a an element invisible */
function hideLayer(whichLayer)
{
	if (document.getElementById) {
		// this is the way the standards work
		var style2 = document.getElementById(whichLayer).style;
	} else if (document.all) {
		// this is the way old msie versions work
		var style2 = document.all[whichLayer].style;
	} else if (document.layers) {
		// this is the way nn4 works
		var style2 = document.layers[whichLayer].style;
	}
	style2.display = "";
} // end hideLayer() function




/* The toggleLayer() function is a generic function that can be called to make a an element visible or not */
function toggleLayer(whichLayer)
{
	if (document.getElementById) {
		// this is the way the standards work
		var style2 = document.getElementById(whichLayer).style;
	} else if (document.all) {
		// this is the way old msie versions work
		var style2 = document.all[whichLayer].style;
	} else if (document.layers) {
		// this is the way nn4 works
		var style2 = document.layers[whichLayer].style;
	}
	style2.display = style2.display? "":"block";
} // end toggleLayer() function