// Funktion für die richtige Auswahl des Stylesheets nach OS/Browser
// *****************************************************************************
function ChooseStylesheet()
	{
	system = (navigator.userAgent.indexOf("Mac") != -1)?"mac":"false";
	system = (navigator.userAgent.indexOf("Win") != -1)?"win":system;
	browser = (navigator.appName.indexOf("Internet Explorer") != -1)?"ie":"false";
	browser = (navigator.appName.indexOf("Netscape") != -1)?"ns":browser;
	platform = system + "_" + browser;
	if (system == "false" || browser == "false")
		platform = "default";
	string = "<LINK REL=\"STYLESHEET\" HREF=\"/stylesheets/style_"+platform+".css\" TYPE=\"text/css\">";
	document.write(string);
	}

// Funktion für die Dropdown-Funktion
// *****************************************************************************
function Go(x)
   {
    if(x == "nothing")
    {
      document.forms[0].reset();
      document.forms[0].elements[0].blur();
      return;
    }
    else if(x == "end") top.location.href = parent.frames[1].location;
    else
    {
      parent.location.href = x;
      document.forms[0].reset();
      document.forms[0].elements[0].blur();
    }
  }

// Funktion für das Öffnen eines PopUp-Fensters
// *****************************************************************************
function openPopup(url,windowName,params) 
    { 
        window.open(url,windowName,params);
    }

// Funktion für den Verweis in einem PopUp-Fensters, der sich wieder im 
// ursprünglichen Fenster öffnen soll
// *****************************************************************************

function jump(URL) {    
        window.opener.location.href = URL
}

function redirectTo(URL) {
	document.location.href = URL
}

// Führe das bei jeder Seite aus
if (window != top) top.location.href = location.href;
ChooseStylesheet();