5 if (empty($_SESSION['sys']['login'])) return '';
7 $ret = '<div id="menu">
9 <li><a href="./">Start</a></li>
10 <li><a href="./?mask=personal">Personal</a></li>
11 <li><a href="./?mask=overview_gewaesser">Gewässer</a></li>
12 <li><a href="#">Abfragen</a></li>