function seitezeigen(seite) {
  if (isNaN(Number(seite))) {
    self.location.href="default.php?aktion=seitezeigen&name="+seite;
  }
  else {
    self.location.href="default.php?aktion=seitezeigen&id="+String(seite);
  }
}

function jumpto(seite) {
  self.location.href=seite;
}

function bildoeffnen(adresse,breite,hoehe) {
  var BildFenster = window.open(adresse,"BildAnzeige","width="+breite+",height="+hoehe);
  if (BildFenster.innerWidth!=breite || BildFenster.innerHeight != hoehe) {
    BildFenster.close();
    window.open(adresse,"BildAnzeige","width="+breite+",height="+hoehe);
  }
}