function getHTTPObject() {
	var xmlhttp;
	/*@cc_on
	@if (@_jscript_version >= 5)
		try {
			xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
		} catch (e) {
			try {
			xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
			} catch (E) {
			xmlhttp = false;
			}
		}
	@else
	xmlhttp = false;
	@end @*/
	if (!xmlhttp && typeof XMLHttpRequest != 'undefined') {
		try {
			xmlhttp = new XMLHttpRequest();
		xmlhttp.overrideMimeType("text/xml"); 
		} catch (e) {
			xmlhttp = false;
		}
	}
	return xmlhttp;
}

function getPostString(formObj)
{
	var postString = "";
	for(var i = 0; i < formObj.elements.length; i++)
	{
		switch(formObj.elements[i].type)
		{
			case "text" :
			case "password" :
			case "hidden" :
			case "textarea" :
				postString = postString + formObj.elements[i].name + "=" + escape(formObj.elements[i].value) + "&";
				break;
			case "checkbox" :
				if (formObj.elements[i].checked)
				{
					postString = postString + formObj.elements[i].name + "=on&";
				}
				break;
			case "select-one" :
				postString = postString + formObj.elements[i].name + "=" + escape(formObj.elements[i].options[formObj.elements[i].selectedIndex].value) + "&";
				break;
			case "button" :
				break;
			default :
				alert ("Unknown form element type in ajax.js:getPostString() : " + formObj.elements[i].type + " (element name=" + formObj.elements[i].name + ") (" + i + ")");
				break;
		}
	}
	//alert(postString);
	return postString;
}