function zeige(url){
	window.location.href=url;
}




function swap_menudiv(olddiv, newdiv){

	document.getElementById(olddiv).style.display = "none";
	document.getElementById(newdiv).style.display = "";
}

function open_pdf(theURL,winName,features) 
{ 
  window.open(theURL,winName,features);
}