function IncludeJavaScript(jsFile)
{
  document.write('<script type="text/javascript" src="/basic/js/'
    + jsFile + '.js"></script>' + '\n'); 
}
				

IncludeJavaScript('addListener');				       // managet diverse Funktionen in diveren nachfolgenden Javascriptaufrufen
IncludeJavaScript('klapp-nav');					       // Ausklappmenü Navigation
IncludeJavaScript('tree');					       // gibt die Einzelnavigation + Breadcrumb richtig formatiert aus
IncludeJavaScript('boxover');					       // Blendet Infofenster ein

IncludeJavaScript('javascript_ueberblendung');		       	       // branding-div faden
IncludeJavaScript('flash_ueberblendung');			       // faden mit Flash
//IncludeJavaScript('update_iframe');				       // update iFramehöhe aus einem externen Seite aus einem iFrame heraus
		        
// Browser ermitteln
var browser = navigator.userAgent.toLowerCase();
var ganzzahl = parseInt(navigator.appVersion);
var genauezahl = parseFloat(navigator.appVersion);

//ist es internet explorer
var explorer = ((browser.indexOf("msie") != -1) && (browser.indexOf("opera") == -1));
var explorer3 = (explorer && (ganzzahl < 4));
var explorer4 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 5")==-1));
var explorer4up = (explorer && (ganzzahl >= 4));
var explorer5 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 5.0")!=-1));
var explorer5_5 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 5.5") !=-1));
var explorer5up = (explorer && !explorer3 && !explorer4);
var explorer5_5up =(explorer && !explorer3 && !explorer4 && !explorer5);
var explorer6 = (explorer && (ganzzahl == 4) && (browser.indexOf("msie 6.0") !=-1));
  
if (explorer) {
	if (explorer6 || explorer5_5 || explorer5 || explorer5_5up)
	{
		IncludeJavaScript('nav-h');				// Hilfs-js für das Ausklappmenü
		//IncludeJavaScript('/basic/js/ie_png');		// Hilfs-js für das anzeigen eines png-Bildes
	}

}