/** general ajax functions: */
function createxmlhttp() {
	var xmlhttp=false;
	/*@cc_on @*/
	/*@if (@_jscript_version >= 5)
	// JScript gives us Conditional compilation, we can cope with old IE versions.
	// and security blocked creation of the objects.
	 try {
	  xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
	 } catch (e) {
	  try {
	   xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
	  } catch (E) {
	   xmlhttp = false;
	  }
	 }
	@end @*/
	if (!xmlhttp && typeof XMLHttpRequest!='undefined') {
		xmlhttp = new XMLHttpRequest();
	}
	return xmlhttp;
}

function processXML(uri,func) {
	var xmlhttp = createxmlhttp();
	if (uri.indexOf('?')==-1) uri+='?dummy';
	/* use randomizer to ensure we always get new content. fools MSIE. */
	xmlhttp.open("GET", uri+'&'+(Math.floor(Math.random()*1000000)),true);
	xmlhttp.onreadystatechange=function() {
		if (xmlhttp.readyState==4) {
			eval(func);
		}
	}
	xmlhttp.send(null)			
}