<!--
var version = "Loading...";
var xmlhttp;

function GetProductVersion(productName, shortMode)
{
	xmlhttp = GetXmlHttpObject();
			
	if (xmlhttp == null) 
	{
		version = "";
		ShowProductVersion();
	}
	else 
	{
		var mode = "short";
		
		if (shortMode == false) 
		{
			mode = "long";
		}
		
		var url = "../../version/" + productName + "/?mode=" + mode;
				
		xmlhttp.onreadystatechange=ShowProductVersion;
		
		xmlhttp.open("GET",url,true);
		
		try 
		{
			xmlhttp.send(null);
		}
		catch(err)
		{
			//...do nothing
		}			
	}
}

function ShowProductVersion()
{
	if (xmlhttp!=null) 
	{
		if (xmlhttp.readyState == 4) 
		{
			version = xmlhttp.responseText;
		}
	}
	
	document.getElementById("version").innerHTML = version;
}

function GetXmlHttpObject()
{
	if (window.XMLHttpRequest)
  	{
		// code for IE7+, Firefox, Chrome, Opera, Safari
  		return new XMLHttpRequest();
  	}
	else	
  	{
		// code for IE6, IE5
  		return new ActiveXObject("Microsoft.XMLHTTP");
  	}
	
	return null;
}
-->