".$sprache_neuepunkte."
\n"; if (isset($_SESSION["neue_files"])) { $neue_files = $_SESSION["neue_files"]; reset($navigation); while (list ($nKey,list($ntxt,$nhtml,$ninfo)) = each ($navigation)) { if (!$sys_admin && substr($nKey,0,13) == '$Adminbereich') break; if ($nhtml != '' && substr($ninfo,0,1) != '$'){ if (array_search($nKey,$neue_files)){ $filename = $verz_html."/".$nhtml; if (file_exists($filename)){ echo ''.$ntxt."
\n"; } } } } } ?>