function bild_laden(nummer, status)
{
  document.images[nummer].src = status[nummer].src; /* Bild überschreiben */
}


function a(txt)
{
	self.status = txt
}

function b()
{
	self.status = ""
}

function SwitchPage()
{
  
  return true;
}

function KartePopUp()
{
	var url = "karte.html";
	var width = 888+25;
	var height = 615+30;
	var x = (screen.availWidth - width) / 2;
	var y = (screen.availHeight - height) / 2;
	var open = window.open(url,"","width=" + width + ",height=" + height + ",left=" + x + ",top=" + y + ",menubar=no,status=no,scrollbars=no");
	open.focus();
}