function showMenu(wert)
{
	document.getElementById(wert).style.visibility = "visible"
}

function hideMenu(wert)
{
	document.getElementById(wert).style.visibility = "hidden";
}

function RotatePic() { 
	var BildTDTagID = "rdmpic";   	// name des bildes was getauscht werden soll im html-code (img-tag-name) 
	var Bilder = new Array(			// hier stehen alle pfade der bilder drinnen
	 "/images/energie_wahl.jpg",
	 "/images/bauplan_wahl.jpg",
 	 "/images/hauspass_wahl.jpg",
	 "/images/bestand_wahl.jpg",
	 "/images/teilung_wahl.jpg"
	);
	
	// random zahl ermitteln 
	RandBild = Math.round(Math.random()*Bilder.length); 
	if( Bilder.length == RandBild ) RandBild = 0; 
	rb = Bilder[RandBild]; 
	
	if (document.images) { 
		document.images[BildTDTagID].src=rb; 
	} 

}