// create an AJAX request
function createXMLHttpRequest() {
   try { return new XMLHttpRequest(); } catch(e) {}
   try { return new ActiveXObject("Msxml2.XMLHTTP"); } catch (e) {}
   try { return new ActiveXObject("Microsoft.XMLHTTP"); } catch (e) {}
   alert("AJAX is not supported by your browser.");
   return null;
}
			
//play time animation variables and function
var animNo = 1;
var animElemNo = 6;
var animate = false;

function startAnimation() {
	if (animate == true) {
		document.getElementById("anim" + animNo).style.backgroundColor = "#474748";
		if ((animNo + 1) <= animElemNo) {
			animNo += 1;
		}
		else {
			animNo = 1;
		}
		document.getElementById("anim" + animNo).style.backgroundColor = "#DDDDFF";
		setTimeout("startAnimation()", 200);
	}
}

function enableMask() {
	document.getElementById("divAJAXMaskBg").style.width = document.documentElement.clientWidth + "px";
	document.getElementById("divAJAXMaskBg").style.height = document.documentElement.clientHeight + "px";
	document.getElementById("divAJAXMaskContent").style.width = document.documentElement.clientWidth + "px";
	document.getElementById("divAJAXMaskContent").style.height = document.documentElement.clientHeight + "px";
	document.getElementById("tdAnimatorContainer").style.height = document.documentElement.clientHeight + "px";
	
	document.getElementById("divAJAXMaskBg").style.display = "block";
	document.getElementById("divAJAXMaskContent").style.display = "block";
	
	animate = true;
	startAnimation();
}

function disableMask() {
	animate = false;
	document.getElementById("divAJAXMaskBg").style.display = "none";
	document.getElementById("divAJAXMaskContent").style.display = "none";
}

window.onresize = resizeAnimator;
function resizeAnimator() {
	// take care of the "AJAX is busy" window as well - this should be important only when resizing the window
	document.getElementById("divAJAXMaskBg").style.width = document.documentElement.clientWidth + "px";
	document.getElementById("divAJAXMaskBg").style.height = document.documentElement.clientHeight + "px";
	document.getElementById("divAJAXMaskContent").style.width = document.documentElement.clientWidth + "px";
	document.getElementById("divAJAXMaskContent").style.height = document.documentElement.clientHeight + "px";
	document.getElementById("tdAnimatorContainer").style.height = document.documentElement.clientHeight + "px";
}