// Function Definitions -------------------------------------------------------------------------------------------------------

	/** This function toggles the view of a menu.                                                                           **/
	function show_submenu (id, prefix)
		{	// Nothing to do.
			if ( !prefix )
				{	return;
				}; // if ( !prefix )
			
			// Get the menu control.
			var menu = document.getElementById(id);

			// Get the menu items.
			var menu_items = document.getElementsByTagName("dd");

			// The last menu which was found.
			var last_menu = false;

			// Should we show or hide the menu items?
			var display_type = "";

			// Show each menu item.
			for ( var index = 0; index < menu_items.length; index++ )
				{	// Get the menu item's id.
					var id = "" + menu_items[index].id;

					// Show the menu item.
					if ( id.substring(0, prefix.length) == prefix )
						{	last_menu		= last_menu ? last_menu : menu_items[index - 1];
							display_type	= last_menu.className != "expanded" ? "block" : "none";
							menu_items[index].style.display = display_type;
						} // if ( id.substring(0, prefix.length) == prefix )

					else if ( menu_items[index].className == "submenu" )
						{	// menu_items[index].style.display = "none";
						} // else if ( menu_items[index].className == "submenu" )

					else if ( menu_items[index] )
						{	// menu_items[index].className = "collapsed";
						}; // else if ( menu_items[index] )
				}; // for ( var index = 0; index < menu_items.length; index++ )

			// Set the containing menu to expanded mode.
			if ( last_menu )
				{	last_menu.className = display_type == "block" ? "expanded" : "collapsed";
				}; // if ( last_menu )

			return false;
		}; // function show_submenu (id, prefix, block)