function activatemouse() {
	document.getElementById("interaktivemaus").src = "fileadmin/templates/img/mainmenu-maus.gif";
}
		
function deactivatemouse() {
	document.getElementById("interaktivemaus").src = "fileadmin/templates/img/mainmenu-maus-inactive.gif";
}