function mainover(target) {

	var myTarget = document.getElementById(target);
	myTarget.src = "fileadmin/images/navi/" + target + "_over.gif";

}

function mainout(target) {

	var myTarget = document.getElementById(target);
	myTarget.src = "fileadmin/images/navi/" + target + "_up.gif";

}