//	Function to toggle the visibility of a given Layer-ID (var2)
			function toggleShow(var2) {
				if (document.getElementById(var2).style.visibility == "hidden") {
					document.getElementById(var2).style.visibility = "visible";
				}
				else { 
					document.getElementById(var2).style.visibility = "hidden";
				}
			}

			
// 	Function to hide the layer specified by its ID (var3)
			function hideLayer(var3) {
					document.getElementById(var3).style.visibility = "hidden";
			}


//	Function toggles visibility of a layer and ensures only one layer is shown at any time			
			function shownoshow(myvar) {
				var allNavLayer = alleLayer;
//				alert(allNavLayer.length);
				for (var i = 0; i < allNavLayer.length; i++) {
//					alert(allNavLayer[i]);
					if (myvar == allNavLayer[i]) {
//						alert("GLEICH: i = " + i);
//						alert(myvar + " == " + allNavLayer[i]);
						toggleShow(allNavLayer[i]);
					}
					else {
//						alert("UNgleich: i = " + i);
//						alert(myvar + " UNGLEICH " + allNavLayer[i]);
						hideLayer(allNavLayer[i]);
					}
				}
			}