var mitNr=new Boolean(false);
var planMitNr=new Image();
planMitNr.src="grundnr.gif";
var planOhneNr=new Image();
planOhneNr.src="grundris.gif";

function zeigeNr()
{
	if (mitNr==true)
	{
		window.document.images["derPlan"].src=planOhneNr.src;
		mitNr=false;
	}
	else
	{
		window.document.images["derPlan"].src=planMitNr.src;
		mitNr=true;
	}
}

function zeigeStatus()
{
	if (mitNr==true)
	{
		window.status="Nummerierung ausblenden";
	}
	else
	{
		window.status="Nummerierung anzeigen";
	}
}