// ==================================================================//
//  INCLUDE JAVASRIPTS 
//	Diese source enthält Javascript Funktionen die oft gebraucht
//  werden.
// ==================================================================//

			
// ------------------------------------------------------------------//
// Die folgende Funktion lädt Grafiken vor, die später auf  
// der Page gebraucht werden.										 
// ------------------------------------------------------------------//

function preload() {
        this.length = preload.arguments.length;
        for (var i = 0; i < this.length; i++) {
                this[i+1] = new Image();
                this[i+1].src = preload.arguments[i];
        }
	}

// ------------------------------------------------------------------//
// Die folgende Funktion wird benutzt um zwei Frames gleichzeitig 
// auszuwechseln (in unserem Fall Navigation + Inhalt).
//	
// Input parameters: 
// navi: Pfad + Name des neuen HTML f&uuml;r den Navigationsframe
// inhalt: Pfad + Name des neuen HTML f&uuml;r den Inhaltsframe
// ------------------------------------------------------------------//
			
function untermenu(navi,inhalt) {
	parent.navigation.location=navi; 
	parent.inhalt.location=inhalt;
}


// ------------------------------------------------------------------//
// Die folgende Funktion wird benutzt um Rollover-Effekte bei  
// Grafiken zu erzeugen. 
//
// Input parameters:
// imgname: beschreibt welches Bild im HTML Dokument beim Mouseover 
// 			ausgewechselt werden muss (im HTML: tag IMG NAME).
// newsrc: 	enth&auml;lt Pfad und Name des Grafikfiles, dass 
// 			angezeigt werden muss. 
// ------------------------------------------------------------------//


function wechseln(imgname,newsrc) {
	if (document.images) {
    	document.images[imgname].src =  newsrc ;                
		}
}

// ------------------------------------------------------------------//
// Die folgende Funktion wird benutzt um neue Fenster aufzumachen 
// wenn man auf einem Link dr&uuml;ckt. 
// Input parameters:
// url: 			welche URL muss im neuen Fenster angezeigt werden
// name: 			name des Fensters
// eigenschaften:	Eigenschaften des Fensters (Gr&ouml;&ouml;se, Scrollbar)
// ------------------------------------------------------------------//


function neues_fenster(url,name,eigenschaften) 
{
  window.open(url,name,eigenschaften);
}