// 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
    }