path = "images/";

// Buttons vorausladen:
if (document.images) {
	imageNames = new Array("punkt");
	preload = new Array();
	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;
}