function showElements()
{
	if (typeof(showElementsIE) == "function")
	{
		showElementsIE();
	}
}

function hideElements()
{
	if (typeof(hideElementsIE) == "function")
	{
		hideElementsIE();
	}
}

// Disable png transparency for safari, due to a rendering bug when it is applied on top of flash
function fixSafariTransPng()
{
	if (navigator.userAgent.toLowerCase().indexOf("safari") != -1)
	{
		var mainNavDiv = document.getElementById("mainNavigation");
		if (mainNavDiv != null)
		{
			var links = mainNavDiv.getElementsByTagName("A");
			if (links != null && links.length > 0)
			{
				for (var i = 0; i < links.length; i++)
				{
					links[i].className += " no-hover";
				}
			}
		}
	}
}
addInitFunction("fixSafariTransPng();");