<!--
var xmlhttp=false;
// This first set of conditions captures the case where you are using IE
// The case only executes if you have javascript that uses try-catch
/*@cc_on @*/
/*@if (@_jscript_version >= 5)
try {
xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
} catch (e) {
try {
xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
} catch (E) {
xmlhttp = false;
}
}
@end @*/

// Here is the non-IE case
if (!xmlhttp && typeof XMLHttpRequest != 'undefined') {
	xmlhttp = new XMLHttpRequest();
}

function getMyHTML(serverPage, objID) {
	// Get the document element ID'd by objID
	var obj = document.getElementById(objID);
	// Send a request for the content page
	xmlhttp.open("GET", serverPage);
	xmlhttp.onreadystatechange = function() {
		// if our request for content succeeded replace the content of obj
		// with the results
		if (xmlhttp.readyState == 4 && xmlhttp.status == 200) {
			obj.innerHTML = xmlhttp.responseText;
		}
	}
	xmlhttp.send(null);
}
//-->