<!--
var PROGRESS_METER_WIDTH = 1;

// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// Function:  getExternalFileContent
// Purpose:   Uses XMLHTTP component to retrieve the content of an external file
// Arguments:
//			  fileURL -- The URL of the file
// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
function getExternalFileContent(fileURL)
{
	// The reference to the XMLHTTP component instance.
	var xmlHTTP = null;
	
	if (fileURL != "")
	{
		// For Mozllla codebase-based browsers.
		if (window.XMLHttpRequest)
		{
			xmlHTTP = new XMLHttpRequest();	
		}
		// For IE.
		else if (window.ActiveXObject)
		{
			try 
			{
				xmlHTTP = new ActiveXObject("Msxml2.XMLHTTP");
			} 
			catch (e) 
			{
				try 
				{
					xmlHTTP = new ActiveXObject("Microsoft.XMLHTTP");
				} 
				catch (E) 
				{
					xmlHTTP = null;
				}
			}

		}
	}
	
	// If a reference was retrieved, launch a request.
	if (xmlHTTP != null)
	{
		xmlHTTP.open('GET', fileURL, false);
		xmlHTTP.send(null);
		return xmlHTTP.responseText;
	}
	else
	{
		return "";
	}

}

// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// Function:  alterVisibility
// Purpose:   Uses DHTML scripting to dynamically display a hidden element.
// Arguments:
//			  elementID -- The element to display
//			  isVisible -- Flag to specify desired visibility
//			  elementTextID -- The element that will contain the text
//			  elementTextURL -- The element that contains the text URL
//			  elementTextDefault -- The default text
// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
function alterVisibility(elementID, isVisibile, elementTextID, elementTextURL, elementTextDefault)
{
	// Attempt to retrieve the DOM element by ID.
	var element = document.getElementById(elementID);
	
	if (element != null)
	{
		// A DOM reference was obtained, so act upon the element.
		element.style.visibility = (isVisibile == true) ? "visible" : "hidden";
		
		if (elementTextID != "")
		{
			// Attempt to retrieve the DOM element for the element text tag.
			var textElement = document.getElementById(elementTextID);
			
			if (textElement != null)
			{
				var text = getExternalFileContent(elementTextURL);
				
				textElement.innerHTML = (text != "") ? text : elementTextDefault;
			}
		}
	}
}
-->