/**
 * die funktion 'initFrameSet' wird beim laden einer seite ausgeführt
 * sie kontrolliert ob die seite in unserem frameset geladen wurde.
 * sie stellt zudem sicher, dass der richtige link aktive ist.
 */
function initFrameSet() {
	var loc = location.pathname;
	if (top.seite != "chraftstoff5") {
		// wenn die seite nicht in  unserem frameset geöffnet wurde
		// lade unserer frameset mit der entsprechenden seite
		top.location.href = "/index.php?query=" + loc;
	} else {
		// sonst aktualisiere die navigationsframes
		updateMenu(loc);
	}
}

/**
 * die funktion lädt sowohl das menu als auch den head mit den richtign
 * links als aktiv markiert
 */
function updateMenu(newSite) {
	parent.head.location.href = "/head.php?query=" + newSite;
	parent.menu.location.href = "/menu.php?query=" + newSite;
}



/**
 * Run initFrameSet() immediately when a page is loading.
 */
initFrameSet();