var PageSourceObj = GetXmlHttpObject();
var GlobalPageSource;
function PageSourceRequest(PageName)
	{
	if (PageSourceObj.readyState == 4 || PageSourceObj.readyState == 0) 
		{
		PageSourceObj.open("GET", "../../"+PageName+"?rand="+Math.random()
		, true);
		PageSourceObj.onreadystatechange = PageSourceResponse;
		PageSourceObj.send(null);
		}
	}

//Called when the AJAX response is returned.
function PageSourceResponse() 
	{
	if (PageSourceObj.readyState == 4)
		{
		GlobalPageSource=PageSourceObj.responseText;
		}
	}