/*
 * Schaltet die Quelle eines img-Tags um
 */
function switch_image(name, status)
{
	if (status == 'on')
	{
		document.images[name].src = 'images/menu/'+name+'_over.gif';
	}
	else
	{
		document.images[name].src = 'images/menu/'+name+'.gif';
	}
}
function banner(nr)
{
	if (nr == 1)
	document.getElementById("Banner").style.visibility="visible";
	document.getElementById("Flash").style.visibility="hidden";
	if (nr == 0)
	document.getElementById("Banner").style.visibility="hidden";
	document.getElementById("Flash").style.visibility="visible";
}