// array für preload-images
img = new Array("n00","n01","n02","n03","n04","n05","n06","n07");


// 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='nav/"+img[i]+"-0.gif'");
	eval(img[i]+"1=new Image()");
	eval(img[i]+"1.src='nav/"+img[i]+"-1.gif'"); }
}



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

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