var bild_merken;

function nav_an(nummer) {
	var bild = "nav_"+nummer;
	bild_merken = document.images[bild].src;
	document.images[bild].src = "img/1_rot.gif";
}

function nav_aus(nummer) {
	var bild = "nav_"+nummer;
	document.images[bild].src = bild_merken;
}