window.defaultStatus=seite;
if (parent.navigation.know == "1") {
	old=parent.navigation.alt;
	parent.navigation.alt=neu;
if (parent.navigation.document["bild"+neu].src != parent.navigation.high[neu].src)	
  {	parent.navigation.document["nav"+old].src=parent.navigation.killer.src;
	parent.navigation.document["bild"+old].src=parent.navigation.norm[old].src;
	parent.navigation.document["nav"+neu].src=parent.navigation.nav[neu].src;
	parent.navigation.document["bild"+neu].src=parent.navigation.high[neu].src; 
  } }