// This method shows the specified tab.
	function showTab (container_id, tab_id)
		{	// Get the container.
			var container = document.getElementById(container_id);

			// Set its class.
			container.className = tab_id;

			return false;
		}; // function showTab (container_id, tab_id)