// JavaScript für die MouseOver-Effekte der Navigation

	function setMouseOverColor( elementID1 )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "white";
	}

	function setMouseOutColorOfLink( elementID1 )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDEDED";
	}

	function setMouseOutColorOfProjektlink( elementID1 )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDEDED";
	}

	function setMouseOutColorOfSublink( elementID1 )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDEDED";
	}

	function setMouseOutColorOfSubSublink( elementID1 )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDEDED";
	}

	function setMouseOutColorOfsmallLink( elementID1 )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDEDED";
	}

	function setMouseOutColorMainCategory( elementID1 )
	{
		document.getElementById( elementID1 ).style.backgroundColor  = "#EDEDED";
	}