<% 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 "
"; return; } include $header; echo "
Address: $explorer_path[NAME]
"; %>
<% include $content; %>
<% include "src/footer.inc";%>