<!--
//Create a boolean variable to check for a valid Internet Explorer instance.
var xmlhttp = false;

//Check if we are using IE.
try{
	//If the Javascript version is greater than 5.
	xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
	//alert("You are using Microsoft Internet Explorer.");
}catch (e){
	//If not, then use the older active x object.
	try{
		//If we are using Internet Explorer.
		xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
		//alert("You are using Microsoft Internet Explorer");
	}catch(E){
		//Else we must be using a non-IE browser.
		xmlhttp = false;
	}
}

//If we are using a non-IE browser, create a javascript instance of the object.
if(!xmlhttp && typeof XMLHttpRequest != 'undefined'){
	xmlhttp = new XMLHttpRequest();
	//alert("You are not using Microsoft Internet Explorer");
}

function ajaxmenuchange(serverPage, objID){		
	var obj = document.getElementById(objID);
	xmlhttp.open("GET", serverPage);
	xmlhttp.onreadystatechange = function(){
		if(xmlhttp.readyState == 4 && xmlhttp.status == 200){
			obj.innerHTML = xmlhttp.responseText;
		}
	}
	xmlhttp.send(null);
}	

function makerequest(serverPage, objID, add_to){		
	var obj = document.getElementById(objID);
	xmlhttp.open("GET", serverPage);
	xmlhttp.onreadystatechange = function(){
		if(xmlhttp.readyState == 4 && xmlhttp.status == 200){
			// CLEAR OUT ANY EXISTING AJAX MESSAGES
			document.getElementById("ajax_msg").innerHTML = null;
			// THIS IT TO ADD AN ELEMENT TO THE END OF A DIV INSTEAD OF REPLACING THE DIV CONTENTS
			if(add_to == true){
				// IF ITEMS IS ALREADY FOUND WITHIN THE DIV, DON'T ADD IT AGAIN
				if(obj.innerHTML.indexOf(xmlhttp.responseText) > -1){
					obj.innerHTML = obj.innerHTML + xmlhttp.responseText;
				}else{
					obj.innerHTML = xmlhttp.responseText;
				}
			}else{
				obj.innerHTML = xmlhttp.responseText;
			}
		}
	}
	xmlhttp.send(null);
}	

function ajax_msg_fill(ajax_msg){
	document.getElementById("ajax_msg").innerHTML = ajax_msg;
}
//-->