function PrintPage()
{
	window.print();
	return false;
}
function ReturnFromFootnote()
{
	history.go(-1);
	return false;
}

// Adapted from http://www.builtfromsource.com/2007/06/26/detecting-plugins-in-internet-explorer-and-a-few-hints-for-all-the-others/
var HasAdobeReader = function ()
	{
		var foundPlugin = false;
		if (window.ActiveXObject)
		{
			// Check IE Adobe Acrobat Plug-in
			var control = null;
			try
			{
				// AcroPDF.PDF is used by version 7 and later
				control = new ActiveXObject('AcroPDF.PDF');
			}
			catch (err)
			{
				try
				{
					// PDF.PdfCtrl is used by version 6 and earlier
					control = new ActiveXObject('PDF.PdfCtrl');
				}
				catch (err2)
				{
					return;
				}
			}
			if (control)
			{
				foundPlugin = true;
			}
		}
		else
		{
			// Check Netscape navigator.plugins for "Adobe Acrobat" or "Adobe PDF Plug-in"
			var pluginPattern = /Adobe Acrobat|Adobe PDF Plug-in|Adobe PDF Plug-In for Firefox and Netscape/i;
			for (var i = 0; i < navigator.plugins.length; i++)
			{
				if (pluginPattern.test(navigator.plugins[i].description))
				{
					foundPlugin = true;
					break;
				}
			}
		}
		return foundPlugin;
	}();