// array für preload-images
img = new Array("auft", "wiss", "tagg", "ktkt", "link", "publ");


// preload der images
if (document.images) {
	for (var i=0;i<img.length;i++) {
	eval(img[i]+"0=new Image()");
	eval(img[i]+"0.src='../images/nav/"+img[i]+"0.gif'");
	eval(img[i]+"1=new Image()");
	eval(img[i]+"1.src='../images/nav/"+img[i]+"1.gif'"); }
}



// ersetzen von images
function ovr(bild)
	{
	if (document.images)
	document.images[bild].src = '../images/nav/' +bild+ '1.gif';
	}

function out(bild)
	{
	if (document.images)
	document.images[bild].src = '../images/nav/' +bild+ '0.gif';
	}
nav/' +bild+ '0.gif';
	}