function disp2()
{
	
	
	if ((ajax.readyState == 4) && (ajax.status == 200))
	{
		document.getElementById("downloadlink").innerHTML = "<a href='" + ajax.responseText + ">XML file ready.</a>";
	}
}

function dlx(expid)
{
	ajax.open("get", "xmloutput.php?expid=" + expid);
	ajax.onreadystatechange=disp2;
	ajax.send(null);
}