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

	function setMouseOverColor( elementID1, elementID2, imgDocID, pic )
	{
//		document.getElementById( elementID1 ).style.backgroundColor = "#F9F5E7";
//		document.getElementById( elementID2 ).style.backgroundColor = "#F9F5E7";
		document.getElementById( elementID1 ).style.backgroundColor = "white";
		document.getElementById( elementID2 ).style.backgroundColor = "white";
		document.images[imgDocID].src = pic;
	}

	function setMouseOutColorOfLink( elementID1, elementID2, imgDocID, pic )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDF1BF";
		document.getElementById( elementID2 ).style.backgroundColor = "#EDF1BF";
		document.images[imgDocID].src = pic;
	}

	function setMouseOutColorOfSublink( elementID1, elementID2, imgDocID, pic )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDF1BF";
		document.getElementById( elementID2 ).style.backgroundColor = "#EDF1BF";
		document.images[imgDocID].src = pic;
	}

	function setMouseOutColorOfSubSublink( elementID1, elementID2, imgDocID, pic )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDF1BF";
		document.getElementById( elementID2 ).style.backgroundColor = "#EDF1BF";
		document.images[imgDocID].src = pic;
	}

	function setMouseOutColorOfsmallLink( elementID1, elementID2, imgDocID, pic )
	{
		document.getElementById( elementID1 ).style.backgroundColor = "#EDF1BF";
		document.getElementById( elementID2 ).style.backgroundColor = "#EDF1BF";
		document.images[imgDocID].src = pic;
	}

	function setMouseOutColorMainCategory( elementID1, elementID2, imgDocID )
	{
		document.getElementById( elementID1 ).style.backgroundColor  = "#EDF1BF";
		document.getElementById( elementID2 ).style.backgroundColor  = "#EDF1BF";
	}