// --------------------- Debuging-Fenster -------------------
var DivDebug;
var Debug = false;

function DebugOut(info){
	if(Debug){
		if(DivDebug == null || !DivDebug){
			if(!document.getElementById("Debug")){
				tempDiv = document.createElement("div");
				tempDiv.id = "Debug";
				document.body.appendChild(tempDiv);
				tempDiv = null;
			}
			DivDebug = document.getElementById("Debug");
			with (DivDebug){
				style.position	= "fixed";
				style.bottom	= "2px";
				style.right		= "2px";
				style.width		= "300px";
				style.padding	= "5px";
				style.border	= "1px solid green";
				style.backgroundColor= "#005500";
				style.color		= "green";
				style.fontFamily = "monospace";
				style.fontSize 	= "11pt"
				style.filter	= "alpha(opacity=80)";
				style.opacity 	= "0.8";
				style.zIndex	= "9999";
				innerHTML 		= "<b>Debug:</b>";
				onmousedown 	= function(){ DivDebug.innerHTML = "<b>Debug:</b>"; };
			}
		}
		DivDebug.innerHTML += "<br>" + info;
	}
}
// ----------------------------------------------------------