//Print-PopUp: Genertiert aus der aktuellen URL einen Link und entfernt #top,
//überprüft ebenfalls ob die URL Variablem hat, um die Printansicht in einem PopUp zu oeffnen.
function openprintwindow(){
	if(window.location.search != "")
		var location = window.location+"&print=1";
	else
		var location = window.location+"?print=1";
		
	var url = location.replace(/#top/,"");
	window.open(url,'Drucken','resizeable=1,scrollbars=yes,width=630,height=600');
}


//Top-Link: Holt sich die aktuelle URL und haengt den Marker #top dran.
var url_toplink = window.location+"#top";
var url_parts = url_toplink.split("#");
url_toplink = url_parts[0] + "#top";

function top(){
	window.location.href = url_toplink;
}


//Content: Blendet das div "info-box" aus, falls es leer ist.
function content() {
	var e = document.getElementById("info-box").innerHTML;
	if (e == "")
		document.getElementById("info-box").style.display = "none";
}