# Einlesen der allgemeinen Menü-/Seitenparameter if (isset($_GET['m'])) { $aktmenue= $_GET['m']; } else { $aktmenue= 0; }; if (isset($_GET['p'])) { $aktmenuep= $_GET['p']; } else { $aktmenuep= 1; }; if (isset($_GET['mk'])) { $menue_kenn= $_GET['mk']; } else { $menue_kenn= 1; }; switch ($sprache) { # Englisch case 2: { $doktitel= $WebTitel_engl; break; } # deutsch default: { $doktitel= $WebTitel_dt; } } ?>