% include "src/style.inc"; %>
<% function main_show_menu() { global $HTTP_SESSION_VARS, $t, $l; echo "|
Menu |
| "; if ($HTTP_SESSION_VARS["sess_gid"] == 0){ include "src/menu_guest.inc"; } else { include "src/menu_user.inc"; } echo " |
| Address: $explorer_path[NAME] |
| <% include $content; %> |