// JavaScript Document
	
function GetXmlHttpObject(){
	if (window.XMLHttpRequest){
  		// code for IE7+, Firefox, Chrome, Opera, Safari
  		return new XMLHttpRequest();
  	}
	if (window.ActiveXObject){
  		// code for IE6, IE5
  		return new ActiveXObject("Microsoft.XMLHTTP");
  	}
	return null;
}
/*
function GetXmlHttpObject_Index(ajaxArray)
{
	var index = 0;
	// Find an empty slot in the AJAX array 
	while(ajaxArray[index] && index < 4) //<?= MAX_SIMULTANEOUS_AJAX_REQUESTS; ?>
	{
		index++;
	  	if (index < 4){ //<?= MAX_SIMULTANEOUS_AJAX_REQUESTS; ?>
			// We got one 
			try { 
				ajaxArray[index] = new XMLHttpRequest(); 
				return index;
			}
			catch(e)
			{ 
				try
				{ 
					ajaxArray[index] = new ActiveXObject("Msxml2.XMLHTTP");
					return index;
				} 
				catch (e2)
				{ 
					try { 
						ajaxArray[index] = new ActiveXObject("Microsoft.XMLHTTP");
						return index;
					} 
					catch (e)
					{
						// no AJAX support
						return null;
					}
				}
			 } 
		}
		if (ajaxArray[index])
		{ 
			params = "addr="+serverAddress; 
			ajaxArray[index].open('POST', 'server_check_ajax.php', true); 
			ajaxArray[index].onreadystatechange = handleResponse; 
			ajaxArray[index].setRequestHeader('Content-Type', 'application/x-www-form-urlencoded'); 
			ajaxArray[index].setRequestHeader('Content-Length', params.length); 
			ajaxArray[index].send(params); 
		}
	} 
}


function handleResponse() {
   		for (var index = 0; index < ajaxArray.length; index++) { 
      		if (ajaxArray[index] && ajaxArray[index].readyState == 4) {
				if (ajaxArray[index].status == 200) { 
            		bits = ajaxArray[index].responseText.split('\n'); 
					switch (bits[0]) { 
			   		case 'AVAILABLE': 
				  		element = document.getElementById('check_'+bits[1]); 
				  		element.innerHTML = '<a href="server_admin.php?server='+bits[1]+'" style="color:green" title="Server Admin">'+element.innerHTML+'</a>'; 
				  		break; 
			   		case 'UNAVAILABLE': 
				  		document.getElementById('check_'+bits[1]).style.color = 'red'; 
				  		document.getElementById('check_'+bits[1]).title = 'Unavailable'; 
				  		break; 
			   		case 'TIMEOUT': 
				  		document.getElementById('check_'+bits[1]).style.color = 'purple'; 
				  		break; 
					}
				} else { 
            		alert(ajaxArray[index].status); 
         		}
				ajaxArray[index] = null; 
      		} 
   		} 
	}
*/