var xmlhttpCat;
var str="";
function getAJAXcontent(url)
{
	if (window.XMLHttpRequest){ // code for Mozilla, etc.
		  xmlhttpCat=new XMLHttpRequest();
		  xmlhttpCat.open("GET",url,false);
		  xmlhttpCat.send(null);
		  
		  if (xmlhttpCat.readyState==4 && xmlhttpCat.status==200)
		  str = xmlhttpCat.responseText;
	  }else if (window.ActiveXObject){ // code for IE
	  	xmlhttpCat=new ActiveXObject("Microsoft.XMLHTTP");
		if (xmlhttpCat){
		    xmlhttpCat.open("GET",url,false);
		    xmlhttpCat.send();
		    
		    if (xmlhttpCat.readyState==4 && xmlhttpCat.status==200)
		    str = xmlhttpCat.responseText;
		}
	  }
	  return str;	  
}