function roll_in ( menuPunkt ) {
 	document.getElementById(menuPunkt).style.backgroundColor = "#A61825" ;
}
 function roll_out ( menuPunkt ) {
 	document.getElementById(menuPunkt).style.backgroundColor = "#34720D" ;
}