var Ajax = new Object();// =========================================// url is the location of an XML file, callBackMethod is a JS function that will parse the returned XML// =========================================Ajax.Request = function(url, callbackMethod){	Ajax.request = Ajax.createRequestObject();	Ajax.request.onreadystatechange = callbackMethod;	Ajax.request.open("POST", url, true);	Ajax.request.send(url);}// =========================================// creating the object to send the xml request, IE + FF compatibility// =========================================Ajax.createRequestObject = function(){	var obj;	if(window.XMLHttpRequest)	{		obj = new XMLHttpRequest();	}	else if(window.ActiveXObject)	{		obj = new ActiveXObject("MSXML2.XMLHTTP");	}	return obj;}// =========================================// Prevents the javascript from proceeding unless it receives a document// =========================================Ajax.CheckReadyState = function(obj){	if(obj.readyState == 1)	{	// This chunk should be moved into page.js so the JS file can be a generic file used by an ajax program		document.getElementById('ses').disabled=true;		document.getElementById('sem').disabled=true;		document.getElementById('pro').disabled=true;		document.getElementById('sub').disabled=true;		document.getElementById('num').disabled=true;		document.getElementById('course').disabled=true;	// This chunk should be moved into page.js so the JS file can be a generic file used by an ajax program		document.getElementById('debug').innerHTML = "Please Wait...";	}	if(obj.readyState == 4)	{		if(obj.status == 200)		{		// This chunk should be moved into page.js so the JS file can be a generic file used by an ajax program			document.getElementById("ses").disabled=false;			document.getElementById("sem").disabled=false;			document.getElementById("pro").disabled=false;			document.getElementById("sub").disabled=false;			document.getElementById("num").disabled=false;			document.getElementById("course").disabled=false;		// This chunk should be moved into page.js so the JS file can be a generic file used by an ajax program			document.getElementById('debug').innerHTML = "";			return true;		}		else		{			document.getElementById('debug').innerHTML = "HTTP " + obj.status;		}	}}