<!--

function MenuOver(elem1){
	document.getElementById(elem1).className='menuepunkt_hover';
}

function MenuOut(elem1){
	document.getElementById(elem1).className='menuepunkt';
}

//-->