// global flag
var isIE = false;

// global req and XML document objects


// retrieve XML document (reusable generic function);
// parameter is URL string (relative or complete) to
// an .xml file whose Content-Type is a valid XML
// type, such as text/xml; XML source must be from
// same domain as HTML file
function loadXMLDoc(element, url, method, params) 
{
	var req;
	var curElement;

	if (typeof method == "undefined") 
	{
		method = "GET";
	}

	curElement = element;
    // branch for native XMLHttpreq object
    if (window.XMLHttpRequest) 
	{
        req = new XMLHttpRequest();
        req.onreadystatechange = processReqChange;
        req.open(method, url, true);
		if (method == "POST") 
		{
			req.send(params);
		} 
		else 
		{
	        req.send(null);
		}
    } 
	else if (window.ActiveXObject)	// branch for IE/Windows ActiveX version
	{
		isIE = true;
        req = new ActiveXObject("Microsoft.XMLHTTP");
        if (req) 
		{
            req.onreadystatechange = processReqChange;
            req.open(method, url, true);
            if (method == "POST") 
			{
				req.send(params);
			} 
			else 
			{
	    	    req.send();
			}
        }
    }
	else
	{
		alert("Geen ActiveXObject");
	}
	
	// handle onreadystatechange event of req object
	function processReqChange() 
	{
		// only if req shows "loaded"
		if (req.readyState == 4) 
		{
			// only if "OK"
			if (req.status == 200) 
			{
				document.getElementById(curElement).innerHTML = req.responseText;
			} 
			else 
			{
				
				alert("There was a problem retrieving the data:\n" + req.statusText);
			}
		}
	}
}


function loadJavaDoc(url) {
  var element = document.createElement('script'); 
  element.type = 'text/javascript'; 
  element.src = url; 
  document.getElementsByTagName('head')[0].appendChild(element); 
}