var http_request_fun80sinterprettitel = false;
function macheRequest_fun80sinterprettitel(url)
	{
		http_request_fun80sinterprettitel = false;
		if (window.XMLHttpRequest)
			{
				http_request_fun80sinterprettitel = new XMLHttpRequest();
				if (http_request_fun80sinterprettitel.overrideMimeType)
					{
						http_request_fun80sinterprettitel.overrideMimeType('text/xml');
					}
			}
		else if (window.ActiveXObject)
			{
				try
					{
						http_request_fun80sinterprettitel = new ActiveXObject("Msxml2.XMLHTTP");
					}
				catch (e)
					{
						try
							{
								http_request_fun80sinterprettitel = new ActiveXObject("Microsoft.XMLHTTP");
							}
				catch (e) {} 
			}
		}
		if (!http_request_fun80sinterprettitel)
			{
				alert('Ende :( Streamtitel anzeige wird nicht unterstützt mit ihrem Browser');
				return false;
			}
		http_request_fun80sinterprettitel.onreadystatechange = alertInhalt_fun80sinterprettitel;
		http_request_fun80sinterprettitel.open('GET', url, true);
		http_request_fun80sinterprettitel.send(null);
}
function alertInhalt_fun80sinterprettitel()
{
	if (http_request_fun80sinterprettitel.readyState == 4)
		{
			document.getElementById("streamboxsonginfos").innerHTML = http_request_fun80sinterprettitel.responseText;
		}
}