var path = "images/";

// Buttons vorausladen:
function loadImages() {
	if (document.images) {
		var imageNames = new Array("linie", "english", "recherche", "ausstellungen", "deutsch", "research", "exhibits");
		var preload = new Array();
		var countImages = imageNames.length;
		for (i = 0; i < countImages; i++) {
			preload[i] = new Image();
			preload[i].src = path + "n_" + imageNames[i] + "_0.gif";
			preload[i + countImages] = new Image();
			preload[i + countImages].src = path + "n_" + imageNames[i] + "_1.gif";
		}
	}
}

// Funktion fuer Mouseover-/Mouseout-Effekt:
function show (button, state) {
	if (document.images) {
		var oldsrc = document.images[button].src;
		document.images[button].src = oldsrc.substring(0, oldsrc.length - 5) + state + ".gif";
	}
}

// Funktion zum Oeffnen von Popup-Fenstern:
function fenster(file, width, height) {
	newWindow = window.open(file, "news", "height=" + height + ",width=" + width + ",dependent,scrollbars,resizable");
	newWindow.focus();
	return false;
}