// http://jibbering.com/2002/4/xmlhttp.js
function new_xmlhttp()
{
	var xmlhttp;
	if (!xmlhttp && typeof XMLHttpRequest!='undefined') {
	 try {
	  xmlhttp = new XMLHttpRequest();
	 } catch (e) {
	  xmlhttp=false;
	 }
	}
	return xmlhttp;
}