LITERAL; echo "Your session ID is ", $session, "
\n"; echo "Log out
"; // flush(); // test_for_echo(); } function bbs_page_footer() { echo "
"; echo "Powered by Citadel. And a few cups of coffee.
\n"; echo "\n"; } ?>