var path = "images/";

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