+include DOCROOT.'menu.html';
+ob_start();
+if (isset($User)) {
+ print '<div class="login"><p>';
+ printf('<span>Ingelogd: <b>%s</b></span>', $User['name']);
+ if ($User['admin']) {
+ print ' <a href="#edit">Wijzig</a>';
+ }
+ print "</p></div>\n";
+}
+$nav = getoutput(['login' => ob_get_clean()]);
+