function auf(seite,menue_tausch,oben_tausch) {

///wenn window=top framset start mit der richtigen mitte aufrufen
var zusatz = "?s=" + seite;

if (window == top)  window.top.location.href = "start.php" + zusatz;

//menue und oben richtig einblenden
if ((parent.akt_nav_elem != "nochnix") && (parent.akt_nav_elem != menue_tausch)) {

	if (parent.akt_nav_elem != "missing") parent.menue.tausch1(parent.akt_nav_elem,'0');
	parent.menue.tausch4(menue_tausch,'2');	
	parent.akt_nav_elem = menue_tausch;
	parent.oben.tausch3('obentitel',oben_tausch);
	}

// ende von auf
}