bilder = new Array();
for(i=1; i<=7; i++) {
	bilder[i] = new Image();
	bilder[i].src = "../img/over/nav"+i+".gif";
	}


function change(name, zustand){
	if(zustand == 0){
		document.images[name].src = "../img/"+name+".gif";
		}
	else{
		document.images[name].src = "../img/over/"+name+".gif";
		}
	}