% 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; %> |