function is_ie() {
	ret = false;
	if ( navigator.appName.toLowerCase() == 'microsoft internet explorer' )
		ret = true;
	return ret;
}

function ajaxRequest(url) {
	var ret = false;
	if ( is_ie() ) {
		var xmlreq = new ActiveXObject("Msxml2.XMLHTTP");
	} else {
		var xmlreq = new XMLHttpRequest();
	}
		
	xmlreq.open('GET',url, false);
	xmlreq.send('');
	
	if ( xmlreq.status == 200 ) {
		ret = xmlreq.responseText;
	}
	return ret;
}