function showDiv(name)
{
	document.getElementById(name).style.visibility="visible";
}

function hideDiv(name)
{
	document.getElementById(name).style.visibility="hidden";
}

function hideAllDiv()
{
	for (i=1; i<=9;i++)
	{
	if (document.getElementById('bild'+i) != null)
		hideDiv('bild'+i);
	}
}

function FensterAuf(url, x, y)
{
	Fenster = window.open(url, "Standort", "width="+x+",height="+y+",left=100,top=200");
  	Fenster.focus();

}